Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Model Checking Software

23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Model Checking Software Dragan Bosnacki
Libristo-code: 02961433
Uitgeverij Springer International Publishing AG, april 2016
This book§constitutes the refereed proceedings of the 23rd International Symposium on Model§Checking... Volledige beschrijving
? points 125 b
51.63 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Match Jones Bolt / Boek Gebonden (harde band)
common.buy 30.51 €
Lettres Sur Le Pacifisme Scientifique Et l'Anticinese (2e Edition) DuBois-R / Boek Gebonden (paperback)
common.buy 12.72 €
Postkarten-Set George Barbier George Barbier / Boek Gebonden (paperback)
common.buy 5.65 €
Ositos de peluche adorables libro para colorear 2 Nick Snels / Boek Gebonden (paperback)
common.buy 10.30 €
Les Breves de Fin du Monde Noyé / Boek Gebonden (paperback)
common.buy 9.29 €
Destruidor - Parte Nove Sky Corgan / E-book Adobe ePub DRM
common.buy 1.00 €
PIMENT?ES (Capsicum annuum) Everton Vieira da Silva / Boek Gebonden (paperback)
common.buy 39.20 €
LEGO® City Joyeux Noël AMEET Studio / Boek Boek
common.buy 11.91 €
guerra in casa. Come e perché la corsa al riarmo riguarda tutti noi Roberto Arditti / Boek Gebonden (paperback)
common.buy 21.01 €
Legendes de Noel M G Lenotre / Boek Gebonden (paperback)
common.buy 18.48 €
Gatiti Calea Domnului! Drepte Faceti Cararile Lui!: NU E Vrednic Cel Ce Are Suflet MIC in Casa Mare. Vrednic E Cel Ce Ridica Suflet Mare-N Casa Mica. Florian Ion Tiberiu Petrescu / Boek Gebonden (paperback)
common.buy 6.15 €
Ajeduca 4. Escobar Domínguez / Boek Gebonden (paperback)
common.buy 13.33 €
Naufragio : la historia olvidada del Vapor Príncipe de Asturias, hundido el 5 de marzo de 1916 con más de 600 personas a bordo Francisco García Novell / Boek Gebonden (paperback)
common.buy 32.63 €
CUARTO MOSQUETERO, EL Riccardo Freda / Boek Gebonden (paperback)
common.buy 11.91 €
Moutons Et Colons En Patagonie Fernando Coronato / Boek Gebonden (paperback)
common.buy 94.07 €
Ursprachlehre Friedrich Schmitthenner / Boek Gebonden (harde band)
common.buy 108.02 €
Psychologische Typen Carl G. Jung / Boek Gebonden (paperback)
common.buy 59.61 €
François Truffaut Robert Ingram / Boek Gebonden (harde band)
common.buy 14.84 €

This book§constitutes the refereed proceedings of the 23rd International Symposium on Model§Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.§§The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4§tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.§

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Model Checking Software
Auteur Dragan Bosnacki, Anton Wijs
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2016
Aantal pagina's 245
EAN 9783319325811
ISBN 3319325817
Libristo-code 02961433
Uitgeverij Springer International Publishing AG
Gewicht 4044
Afmetingen 155 x 235 x 235

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Growth Factors and Cytokines in Skeletal Muscle Development, Growth, Regeneration and Disease Jason White / Boek Gebonden (harde band)
common.buy 102.86 €
Wiel Arets - Bas Princen John Bezold / Boek Gebonden (harde band)
common.buy 93.46 €
Works of J. J. Rousseau. Translated From the French. In ten Volumes. Volume the First. of 10; Volume 1 JEAN-JACQU ROUSSEAU / Boek Gebonden (harde band)
common.buy 36.37 €
The Cheyenne Pool Lewis B Patten / Boek Gebonden (harde band)
common.buy 39.30 €
Performances of Injustice Gabrielle (University of Warwick) Lynch / Boek Gebonden (harde band)
common.buy 73.56 €
Shadow Lost D K Holmberg / Boek Gebonden (paperback)
common.buy 13.03 €
Blades & Axes: Birth of Legends Book 1 Clinton Earl Jarvis / Boek Gebonden (paperback)
common.buy 15.55 €
Snowbird Christmas: Holiday Stories to Warm Your Heart Nancy L Quatrano / Boek Gebonden (paperback)
common.buy 8.58 €
A Resume of A Desperate Woman!: And other writings that will inspire you or just make you think.... Valerie Miller / Boek Gebonden (paperback)
common.buy 15.75 €
Missouri Birds James Kavanagh / Boek Gebonden (paperback)
common.buy 8.68 €
TOP
The Architect's Apprentice Elif Shafak / Boek Gebonden (paperback)
common.buy 14.24 €
Modern Feminist Theory Jennifer Rich / Boek Gebonden (paperback)
common.buy 15.55 €
Alcoholism Ernest Holmes / Boek Gebonden (paperback)
common.buy 9.29 €
Mediterranean Ecosystems G. Spezie / Boek Gebonden (paperback)
common.buy 205.53 €
Generational Differences In Political Attitudes And Political Behaviour In China Tianjian Shi / Boek Gebonden (paperback)
common.buy 12.92 €
Roman Catholic Modernists Confront the Great War C. Talar / Boek Gebonden (harde band)
common.buy 61.03 €
Mobile and Wireless Communications Networks Elizabeth M. Belding-Royer / Boek Gebonden (paperback)
common.buy 102.86 €
TOP Nieuw
From the World of Minor Threats Library Edition Volume 1 Jordan Blum / Boek Gebonden (harde band)
common.buy 39.40 €
Handbook of Forensic Psychology, Fourth Edition Irving B. Weiner / Boek Gebonden (harde band)
common.buy 140.45 €
Fearless Daughters of the Bible - What You Can Learn from 22 Women Who Challenged Tradition, Fought Injustice and Dared to Lead J. Lee Grady / Boek Gebonden (paperback)
common.buy 14.84 €
Bears Don't Read! Emma Chichester Clark / Boek Gebonden (harde band)
common.buy 14.84 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken