739:-
Uppskattad leveranstid 10-16 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain verification; and synthesis.
- Illustratör: Bibliographie 88 schwarz-weiße Abbildungen
- Format: Pocket/Paperback
- ISBN: 9783319262864
- Språk: Engelska
- Antal sidor: 293
- Utgivningsdatum: 2015-10-27
- Förlag: Springer International Publishing AG