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

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.69 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

naanallada naanu s.g.shivashankar / Boek Gebonden (paperback)
common.buy 15.57 €
Biología: Selección y no selección Leandra Griffith -Jn Baptiste / Boek Gebonden (paperback)
common.buy 35.71 €
Mise en place d'un budget prévisionnel de trésorerie Sarra Elhammami / Boek Gebonden (paperback)
common.buy 44.51 €
Das Erbe Martin Wieland / Boek Gebonden (paperback)
common.buy 20.53 €
Integració socio-cultural y comunitat educativa. Tercer Simposi sobre Llengua, Educació i Immigració Vila / Boek Gebonden (paperback)
common.buy 15.57 €
Elaboración de vinos espumosos y cavas Madrid Vicente / Boek Gebonden (paperback)
common.buy 38.34 €
FANTAISIE SUR -IL PLEUT IL PLEUT BERGERE- GENIN PAUL-AGRICOLE Boek Gebonden (paperback)
common.buy 25.99 €
Rüyalar ve Uyanislar Defteri Latife Tekin / Boek Gebonden (paperback)
common.buy 14.16 €
Anders, Korbonski, Sieniewicz... Ziętara Paweł / Boek Gebonden (paperback)
common.buy 8.79 €
Gesammelte Werke Ernst Von Wildenbruch / Boek Gebonden (paperback)
common.buy 57.86 €

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

Hymns, Psalms and Prayers Isaac Mayer Wise / Boek Gebonden (paperback)
common.buy 20.53 €
The Heart of Your Script Phil Hughes / Boek Gebonden (paperback)
common.buy 34.09 €
Ecocriticism and Italy Serenella Iovino / Boek Gebonden (paperback)
common.buy 58.47 €
Tiny the Vancouver Easter Bunny Eric James / Boek Gebonden (harde band)
common.buy 10.01 €
Bon Iver Bon / Boek Boek
common.buy 22.86 €
Egyptian Colloquial Arabic Verbs Matthew Aldrich / Boek Gebonden (paperback)
common.buy 25.28 €
Inventive Engineering Tomasz Arciszewski / Boek Gebonden (harde band)
common.buy 299.98 €
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 €
An ANFIS Based Study for High Impedance Faults in Distribution Systems M. S. Abdel Aziz / Boek Gebonden (paperback)
common.buy 44.51 €
Glencoe Accounting: First Year Course, School-To-Work Handbook McGraw-Hill/Glencoe / Boek Gebonden (paperback)
common.buy 17.59 €
Danger Music Eddie Ayres / Boek Gebonden (paperback)
common.buy 11.52 €
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 8.39 €
Interpreting the New Testament Francis J. Moloney / Boek Gebonden (paperback)
common.buy 33.48 €
genealogical dictionary of the first settlers of New England, Volume 2 James Savage / E-book Adobe ePub DRM
common.buy 12.13 €
Catch a Falling Star Mason Stone / Boek Gebonden (paperback)
common.buy 10.82 €
Towards a Federal Europe Alexander H. Trechsel / Boek Gebonden (paperback)
common.buy 51.79 €
Wordt verwacht Nieuw
The "Banner" of the Great Ming and Little China Consciousness Sun Weiguo / Boek Gebonden (harde band)
common.buy 215.50 €
Developmental-Behavioral Disorders Marvin I. Gottlieb / Boek Gebonden (paperback)
common.buy 51.69 €
Creating Textures in Pen & Ink with Watercolor Claudia Nice / Boek Gebonden (paperback)
common.buy 18.71 €
Introduction to Transport Policy - A Public Policy View Peter R. Stopher / Boek Gebonden (harde band)
common.buy 165.82 €
My Neighbor Jesus - In The Light Of His Own Language, People And Time George M. Lamsa / Boek Gebonden (paperback)
common.buy 34.59 €
Free Fall Robert Crais / Boek Gebonden (paperback)
common.buy 13.95 €
Electronic Banking Scn Education B. V. / Boek Gebonden (paperback)
common.buy 102.99 €

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