Verwandte Artikel zu Hardware and Software: Verification and Testing: 10th...
Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings: 8855 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 10TH INTERNATIONAL HAIFA VERIFICATION CONFERENCE, HVC 2014, HELD IN HAIFA, ISRAEL, IN NOVEMBER 2014. THE 17 REVISED FULL PAPERS AND 4 SHORT PAPERS PRESENTED WERE CAREFULLY REVIEWED AND SELECTED FROM 43 SUBMISSIONS. THE PAPERS COVER A WIDE RANGE OF TOPICS IN THE SUB-FIELDS OF TESTING AND VERIFICATION APPLICABLE TO SOFTWARE, HARDWARE, AND COMPLEX HYBRID SYSTEMS.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The 17 revised full papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer
- Erscheinungsdatum2014
- ISBN 10 3319133373
- ISBN 13 9783319133379
- EinbandTapa blanda
- SpracheEnglisch
- Anzahl der Seiten320
- HerausgeberYahav Eran
Gebraucht kaufen
Zustand: Gut bis sehr gutSlight shelfwear. Otherwise like...
Diesen Artikel anzeigen
EUR 39,19
Gratis für den Versand von Kanada nach USA
Versandziele, Kosten & DauerNeu kaufen
Diesen Artikel anzeigen
EUR 54,08
EUR 3,52 für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerSuchergebnisse für Hardware and Software: Verification and Testing: 10th...
Beispielbild für diese ISBN
Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Anbieter: Irolita Books, Aurora, ON, Kanada
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: NEAR FINE. Slight shelfwear. Otherwise like new. 301 pages. -- Please feel free to ask for additional information, or detailed photos. Ships with tracking. Bestandsnummer des Verkäufers 9541
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings (Programming and Software Engineering)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020089093
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Hardware and Software : Verification and Testing: 10th International Haifa Verification Conference, Hvc 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 22095651-n
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Hardware and Software : Verification and Testing: 10th International Haifa Verification Conference, Hvc 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 22095651
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, 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 ria9783319133379_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Hardware and Software: Verification and Testing
Verlag:
Springer International Publishing Nov 2014, 2014
ISBN 10: 3319133373
ISBN 13: 9783319133379
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 the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014.The 17 revised full papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems. 320 pp. Englisch. Bestandsnummer des Verkäufers 9783319133379
Anzahl: 2 verfügbar
Foto des Verkäufers
Hardware and Software : Verification and Testing: 10th International Haifa Verification Conference, Hvc 2014, Haifa, Israel, November 18-20, 2014, 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 22095651
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Hardware and Software: Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings (Lecture Notes in Computer Science)
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783319133379
Anzahl: 10 verfügbar
Foto des Verkäufers
Hardware and Software : Verification and Testing: 10th International Haifa Verification Conference, Hvc 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 22095651-n
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Hardware and Software: Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
ISBN 10: 3319133373
ISBN 13: 9783319133379
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 the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014.The 17 revised full papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems. Bestandsnummer des Verkäufers 9783319133379
Anzahl: 1 verfügbar