Tools and Algorithms for the Construction and Analysis of Systems
Nir Piterman, Scott Smolka
Häftad, 2013
559 kr
Hardware and Software: Verification and Testing
11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
E-bok
PDF, Engelska, 2015652 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
This book constitutes the refereed proceedings of the11th International Haifa Verification Conference, HVC 2015, held in Haifa,Israel, in November 2015.
The 17 revised full papers and 4 invited talks presentedwere carefully reviewed and selected from numerous submissions. The papers areorganized in topical sections on hybrid systems; tools; verification ofrobotics; symbolic execution; model checking; timed systems; SAT solving; multidomain verification; and synthesis.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 9434
Tools and Algorithms for the Construction and Analysis of Systems
Scott Smolka, Nir Piterman
E-bok
2013734 kr
- Signerad!
- Signerad!
Del 2
SIGNERAD - Kopians hämnd
IJustWantToBeCool, Joel Adolphson, Emil Ejdemo Beer, Victor Beer
Inbunden, 2026
189 kr
- Nyhet
Allt jag önskar att jag hade vetat om min kropp : Det ingen berättade men alla borde känna till
Monika Björn
Inbunden, 2026
299 kr
- 4 för 3
- 4 för 3
- 4 för 3
Del 1