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 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Model Checking Software

25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Model Checking Software María del Mar Gallardo
Libristo-code: 19534895
Uitgeverij Springer International Publishing AG, juni 2018
This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking... Volledige beschrijving
? points 125 b
51.68 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Rüyalar ve Uyanislar Defteri Latife Tekin / Boek Gebonden (paperback)
common.buy 14.15 €
Biología: Selección y no selección Leandra Griffith -Jn Baptiste / Boek Gebonden (paperback)
common.buy 35.70 €
naanallada naanu s.g.shivashankar / Boek Gebonden (paperback)
common.buy 15.57 €
Plastic Death Glass Beach / Audio Audio cd
common.buy 22.04 €
Gesammelte Werke Ernst Von Wildenbruch / Boek Gebonden (paperback)
common.buy 57.85 €
Das Erbe Martin Wieland / Boek Gebonden (paperback)
common.buy 20.52 €
Guida al cinema noir Stefano Di Marino / Boek Gebonden (paperback)
common.buy 48.65 €
Integració socio-cultural y comunitat educativa. Tercer Simposi sobre Llengua, Educació i Immigració Vila / Boek Gebonden (paperback)
common.buy 15.47 €
Elaboración de vinos espumosos y cavas Madrid Vicente / Boek Gebonden (paperback)
common.buy 38.23 €
FANTAISIE SUR -IL PLEUT IL PLEUT BERGERE- GENIN PAUL-AGRICOLE Boek Gebonden (paperback)
common.buy 25.68 €
Desserts faciles pour débutants - 100 recettes à dévorer / Boek Gebonden (paperback)
common.buy 7.58 €
Adelaïde la licorne et les enfants du monde - Ingrid et le troupeau de rennes Colette Becuzzi / Boek Gebonden (paperback)
common.buy 7.27 €
Mise en place d'un budget prévisionnel de trésorerie Sarra Elhammami / Boek Gebonden (paperback)
common.buy 44.50 €
Anders, Korbonski, Sieniewicz... Ziętara Paweł / Boek Gebonden (paperback)
common.buy 9.30 €

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.

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 María del Mar Gallardo, Pedro Merino
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2018
Aantal pagina's 347
EAN 9783319941103
ISBN 3319941100
Libristo-code 19534895
Uitgeverij Springer International Publishing AG
Gewicht 557
Afmetingen 155 x 235 x 20

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
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 > Computermodellering en -simulatie
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

Testing: Academic and Industrial Conference - Practice and Research Techniques Leonardo Bottaci / Boek Gebonden (paperback)
common.buy 58.56 €
Danger Music Eddie Ayres / Boek Gebonden (paperback)
common.buy 12.13 €
Joan Perlman: Element/Frumkraftur Petrun Petursdottir / Boek Gebonden (paperback)
common.buy 25.08 €
Ecocriticism and Italy Serenella Iovino / Boek Gebonden (paperback)
common.buy 54.72 €
Tiny the Vancouver Easter Bunny Eric James / Boek Gebonden (harde band)
common.buy 9.70 €
Shays's Rebellion Richards / Boek Gebonden (paperback)
common.buy 23.76 €
He Helps Me Rise Rita Gottfred / Boek Gebonden (paperback)
common.buy 13.04 €
Inventive Engineering Tomasz Arciszewski / Boek Gebonden (harde band)
common.buy 327.33 €
The True Story of the Three Billy Goats Gruff: The Troll's Side of the Story David Reynolds / Boek Gebonden (paperback)
common.buy 14.86 €
Villainous Jessica S Carter / Boek Gebonden (paperback)
common.buy 9.40 €
An ANFIS Based Study for High Impedance Faults in Distribution Systems M. S. Abdel Aziz / Boek Gebonden (paperback)
common.buy 44.50 €
Hymns, Psalms and Prayers Isaac Mayer Wise / Boek Gebonden (paperback)
common.buy 20.52 €
British Motor Fishing Vessels John McWilliams / Boek Gebonden (paperback)
common.buy 18.10 €
Rust Belt Burlesque Erin O'Brien / Boek Gebonden (paperback)
common.buy 20.83 €
Egyptian Colloquial Arabic Verbs Matthew Aldrich / Boek Gebonden (paperback)
common.buy 25.28 €
TOP
Avatar Coloring Book: Coloring Book for Kids and Adults with Fun, Easy, and Relaxing Coloring Pages Linda Johnson / Boek Gebonden (paperback)
common.buy 6.77 €
Radiant, Vol. 8, 8 Tony Valente / Boek Gebonden (paperback)
common.buy 7.68 €
Interpreting the New Testament Francis J. Moloney / Boek Gebonden (paperback)
common.buy 33.47 €
The flying flower(ID) Philip I. Shin / Boek Gebonden (paperback)
common.buy 6.16 €
Catch a Falling Star Mason Stone / Boek Gebonden (paperback)
common.buy 10.81 €
genealogical dictionary of the first settlers of New England, Volume 2 James Savage / E-book Adobe ePub DRM
common.buy 12.03 €
BoyMum Ruth Whippman / Boek Gebonden (harde band)
common.buy 22.45 €
The Heart of Your Script Phil Hughes / Boek Gebonden (paperback)
common.buy 27.91 €
Nieuw
The "Banner" of the Great Ming and Little China Consciousness Sun Weiguo / Boek Gebonden (harde band)
common.buy 209.08 €

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