Gratis bezorging voor bestellingen boven de 69,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 69.99 €

DPD koerier 6.49 € Bpost punt 8.49 € Bpost 7.99 € DPD-punt 3.99 € GLS koerier 5.49 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis bezorging voor bestellingen boven de 69,99 euro.

Model Checking Software

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

María del Mar Gallardo

Pedro Merino

Taal

Engels

Boek Paperback

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

Libristo-code: 19534895

125 b

51.31 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Rüyalar ve Uyanislar Defteri Latife Tekin

Paperback

14.06 €

Biología: Selección y no selección Leandra Griffith -Jn Baptiste

Paperback

35.46 €

naanallada naanu s.g.shivashankar

Paperback

15.86 €

Plastic Death Glass Beach

Audio cd

21.88 €

Gesammelte Werke Ernst Von Wildenbruch

Paperback

57.44 €

Das Erbe Martin Wieland

Paperback

20.48 €

Guida al cinema noir Stefano Di Marino

Paperback

48.32 €

Integració socio-cultural y comunitat educativa. Tercer Simposi sobre Llengua, Educació i Immigració Vila

Paperback

15.36 €

Elaboración de vinos espumosos y cavas Madrid Vicente

Paperback

37.95 €

FANTAISIE SUR -IL PLEUT IL PLEUT BERGERE- GENIN PAUL-AGRICOLE Boek

Paperback

24.70 €

Desserts faciles pour débutants - 100 recettes à dévorer

Paperback

6.72 €

Adelaïde la licorne et les enfants du monde - Ingrid et le troupeau de rennes Colette Becuzzi

Paperback

7.22 €

Mise en place d'un budget prévisionnel de trésorerie Sarra Elhammami

Paperback

44.18 €

Anders, Korbonski, Sieniewicz... Ziętara Paweł

Paperback

10.13 €

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

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 - 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