Verwandte Artikel zu Hardware and Software, Verification and Testing: First...
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised ... 3875 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
This book constitutes the refereed post-proceedings of the First International Conference on Hardware Verification, Software Testing, and PADTAD held in November 2005. The conference combines the sixth IBM Verification Workshop, the fourth IBM Software Testing Workshop, and the third PADTAD (Parallel and Distributed Systems: Testing and Debugging) Workshop. The 14 revised full papers presented together with three invited contributions were carefully reviewed and selected from 31 submissions. The papers address all current issues in hardware/software verification, software testing, and testing of parallel and concurrent applications.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
This book constitutes the refereed post-proceedings of the First International Conference on Hardware Verification, Software Testing, and PADTAD held in November 2005. The conference combines the sixth IBM Verification Workshop, the fourth IBM Software Testing Workshop, and the third PADTAD (Parallel and Distributed Systems: Testing and Debugging) Workshop. The 14 revised full papers presented together with three invited contributions were carefully reviewed and selected from 31 submissions. The papers address all current issues in hardware/software verification, software testing, and testing of parallel and concurrent applications.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 53,99
EUR 2,28 für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerSuchergebnisse für Hardware and Software, Verification and Testing: First...
Beispielbild für diese ISBN
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised . / Programming and Software Engineering)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Bestandsnummer des Verkäufers DA1412371
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Hardware and Software Verification and Testing. First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers.
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
X, 264 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Stamped/gestempelt. Lecture Notes in Computer Science, Vol. 3875 Sprache: Englisch. Bestandsnummer des Verkäufers 5466DB
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised . (Lecture Notes in Computer Science, 3875)
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Like New. Used - Like New. Book is new and unread but may have minor shelf wear. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Bestandsnummer des Verkäufers Z1-F-011-01570
Anzahl: 1 verfügbar
Foto des Verkäufers
Hardware And Software, Verification And Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 6909104-n
Anzahl: 15 verfügbar
Beispielbild für diese ISBN
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised ... (Lecture Notes in Computer Science, 3875)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020165264
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Hardware and Software, Verification and Testing (Paperback)
ISBN 10: 3540326049
ISBN 13: 9783540326045
Neu
Paperback
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from November 13 to16, 2005. The conference incorporated three different workshops that took place separately in previous years. The IBM Verification Workshop is now its sixth year, the IBM Software Testing Workshop is now in its fourth year, and the PADTAD Workshop on testing and debugging multi-threaded and parallel software was held for the third time. The Verification Conference was a three-day, single-track conference followed by a one-day tutorial on the testing and review of multi-threaded code. The conference presented a unique combination of fields that brought together the hardware and software testing communities. Merging the different communities under a single roof gave the conference a distinctive flavor and provided the participants with added benefits. While the applications in these separate fields are different, the techniques used are often very similar. By offering lectures in these disparate but related disciplines, the conference engendered an environment of collaboration and discovery. The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from November 13 to16, 2005. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verkäufers 9783540326045
Anzahl: 1 verfügbar
Foto des Verkäufers
Hardware And Software, Verification And Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 6909104
Anzahl: 15 verfügbar
Beispielbild für diese ISBN
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised ... (Lecture Notes in Computer Science, 3875)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9783540326045
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised ... (Lecture Notes in Computer Science, 3875)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540326045_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers (Lecture Notes in Computer Science)
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Paperback. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783540326045
Anzahl: 10 verfügbar