Hardware and Software: Verification and Testing
11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
(Sprache: Englisch)
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...
The 17 revised full papers and 4 invited talks presentedwere carefully reviewed and...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
52.80 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Hardware and Software: Verification and Testing “
Klappentext zu „Hardware and Software: Verification and Testing “
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.
Bibliographische Angaben
- 2015, 1st ed. 2015, XVI, 293 Seiten, 293 farbige Abbildungen, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Nir Piterman
- Verlag: Springer, Berlin
- ISBN-10: 3319262866
- ISBN-13: 9783319262864
- Erscheinungsdatum: 27.10.2015
Sprache:
Englisch
Kommentar zu "Hardware and Software: Verification and Testing"
Schreiben Sie einen Kommentar zu "Hardware and Software: Verification and Testing".
Kommentar verfassen