Verwandte Artikel zu Hardware and Software: Verification and Testing: 11th...
Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, ... 9434 (Programming and Software Engineering) - Softcover
Inhaltsangabe
<P>THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 11TH INTERNATIONAL HAIFA VERIFICATION CONFERENCE, HVC 2015, HELD IN HAIFA, ISRAEL, IN NOVEMBER 2015.</P><P> </P><P>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.</P>
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer
- Erscheinungsdatum2015
- ISBN 10 3319262866
- ISBN 13 9783319262864
- EinbandTapa blanda
- SpracheEnglisch
- Auflage1
- Anzahl der Seiten312
- HerausgeberPiterman Nir
Neu kaufen
Diesen Artikel anzeigen
EUR 54,80
EUR 3,56 für den Versand innerhalb von/der USA
Versandziele, Kosten & Dauer
Suchergebnisse für Hardware and Software: Verification and Testing: 11th...
Foto des Verkäufers
Hardware and Software : Verification and Testing; 11th International Haifa Verification Conference, Hvc 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 24761571
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (Programming and Software Engineering)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020092020
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Hardware and Software : Verification and Testing; 11th International Haifa Verification Conference, Hvc 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 24761571-n
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (Programming and Software Engineering)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9783319262864
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Pro
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783319262864
Anzahl: 10 verfügbar
Beispielbild für diese ISBN
Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783319262864_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Hardware and Software : Verification and Testing; 11th International Haifa Verification Conference, Hvc 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 24761571-n
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Hardware and Software : Verification and Testing; 11th International Haifa Verification Conference, Hvc 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 24761571
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Hardware and Software: Verification and Testing
Verlag:
Springer International Publishing Okt 2015, 2015
ISBN 10: 3319262866
ISBN 13: 9783319262864
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 312 pp. Englisch. Bestandsnummer des Verkäufers 9783319262864
Anzahl: 2 verfügbar
Foto des Verkäufers
Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Verlag:
Springer International Publishing, 2015
ISBN 10: 3319262866
ISBN 13: 9783319262864
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Bestandsnummer des Verkäufers 9783319262864
Anzahl: 1 verfügbar