Sign in
Tip from euro-book.co.uk
Similar books
More/other books that might be very similar to this book
Search tools
Book recommendations
Latest news
Advertising
- 0 Results
Lowest price: € 63.99, highest price: € 76.43, average price: € 66.86
Hardware and Software:  Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, Octobe
book is out-of-stock
(*)
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, Octobe - new book

2009, ISBN: 9783642192364

ID: 978364219236

This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verification Conference, HVC 2009, held in Haifa, Israel in October 2009. The 11 revised full papers presented together with four abstracts of invited lectures were carefully reviewed and selected from 23 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and present academic research in the verification of systems, generally divided into two paradigms - formal verification and dynamic verification (testing). Books, Computers, Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, Octobe Books>Computers, Springer Berlin Heidelberg

New book Indigo.ca
new Free shipping on orders above $25. Shipping costs:zzgl. Versandkosten., plus shipping costs
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Hardware and Software: Verification and Testing als Buch von - Springer-Verlag GmbH
book is out-of-stock
(*)
Springer-Verlag GmbH:
Hardware and Software: Verification and Testing als Buch von - new book

2011, ISBN: 9783642192364

ID: 819611876

Hardware and Software: Verification and Testing ab 63.99 EURO 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers Lecture Notes in Computer Science Programming and Software Engineering. Auflage 2011 Hardware and Software: Verification and Testing ab 63.99 EURO 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers Lecture Notes in Computer Science Programming and Software Engineering. Auflage 2011 Bücher > English, International > Gebundene Ausgaben, [PU: Springer, Berlin/Heidelberg/New York, NY]

New book eBook.de
No. 14524233. Shipping costs:Zzgl. Versandkosten., plus shipping costs
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Gebr. - Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009
book is out-of-stock
(*)
Gebr. - Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 - new book

2009, ISBN: 9783642192364

ID: ce31cc49438572c308be786e0f0bdfb7

Letzte Aktualisierung am: 23.09.18 09:04:16 Binding: Taschenbuch, Edition: 2011, Label: Springer, Publisher: Springer, medium: Taschenbuch, numberOfPages: 180, publicationDate: 2011-02-10, releaseDate: 2011-02-10, publishers: KEDAR NAMJOSHI, Andreas Zeller, Avi Ziv, languages: english, ISBN: 364219236X Bücher, KEDAR NAMJOSHI -

New book Medimops.de
Nr. M0364219236XLibriNew. Shipping costs:0, 1-3 Tage, zzgl. Versandkosten., plus shipping costs
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers - Kedar Namjoshi
book is out-of-stock
(*)
Kedar Namjoshi:
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers - Paperback

2009, ISBN: 9783642192364

ID: 9783642192364

Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers Hardware-and-Software~~Kedar-Namjoshi Technology Programming>Xxxsoftware Engr>* Desc Unknown Paperback, Springer Berlin Heidelberg

New book Barnesandnoble.com
new Shipping costs:zzgl. Versandkosten., plus shipping costs
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Hardware and Software: Verification and Testing als Buch von
book is out-of-stock
(*)
Hardware and Software: Verification and Testing als Buch von - hardcover

ISBN: 9783642192364

ID: 887539522

Lieferung innerhalb 1-4 Werktagen. Versandkostenfrei, wenn Buch oder Hörbuch enthalten ist, sonst 2,95 EUR. Ab 19,90 EUR versandkostenfrei. (Deutschland) Bücher > English, International > Gebundene Ausgaben, Springer-Verlag GmbH

New book Hugendubel.de
No. 14524233. Shipping costs:Zzgl. Versandkosten. (EUR 0.00)
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.

Details of the book
Hardware and Software: Verification and Testing

This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verification Conference, HVC 2009, held in Haifa, Israel in October 2009. The 11 revised full papers presented together with four abstracts of invited lectures were carefully reviewed and selected from 23 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and present academic research in the verification of systems, generally divided into two paradigms - formal verification and dynamic verification (testing).

Details of the book - Hardware and Software: Verification and Testing


EAN (ISBN-13): 9783642192364
ISBN (ISBN-10): 364219236X
Hardcover
Paperback
Publishing year: 2011
Publisher: Springer-Verlag GmbH
168 Pages
Weight: 0,280 kg
Language: eng/Englisch

Book in our database since 24.01.2009 19:02:40
Book found last time on 25.09.2018 22:23:54
ISBN/EAN: 9783642192364

ISBN - alternate spelling:
3-642-19236-X, 978-3-642-19236-4


< to archive...
Related books