Tools and Algorithms for the Construction and Analysis of Systems
Nir Piterman, Scott Smolka
Häftad, 2013
565 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, 2015629 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
2013708 kr
- -23%
- -19%
- -23%
- 4 för 3
- 4 för 3
- Signerad!
- 4 för 3