Gratis verzending vanaf 59,99 euro.
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 59.99 €
DPD koerier 5.49 €
DHL koeriersdienst 5.49 €
GLS koerier 4.99 €
DPD-punt 3.99 €
Contact
Hoe winkelen bij ons werkt
Help
Bezorging
DPD koerier 5.49 €
DHL koeriersdienst 5.49 €
GLS koerier 4.99 €
DPD-punt 3.99 €
Gratis bezorging met Zásilkovna boven 59.99 €
Winkelgids
Mijn account
▸
Leeg :-(
0
Gratis verzending vanaf 59,99 euro.
Model Checking Software
26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings
Taal
Engels
Engels
Boek
Gebonden (paperback)
This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking...
Volledige beschrijving
Libristo-code: 24519922
?
125 b
125 b
51.76
€
In extern magazijn
Wordt binnen 5-8 dagen verzonden
Tot 30 dagen retourrecht
Dit vind je misschien ook interessant
This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019. The 11 full papers presented and 2 demo-tool papers, were carefully reviewed and selected from 29 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
Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
Taal
Engels
Engels
Bindwijze
Boek - Gebonden (paperback)
Datum van uitgifte
2019
Aantal pagina's
261
EAN
9783030309220
Libristo-code
24519922
Uitgeverij
Springer Nature Switzerland AG
Gewicht
454
Afmetingen
155 x 235 x 15
