2011, ISBN: 9783642192364
Editor: Namjoshi, Kedar, Editor: Zeller, Andreas, Editor: Ziv, Avi, Springer, Paperback, Auflage: 2011, 179 Seiten, Publiziert: 2011-07-25T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: … More...
amazon.com |
2011, ISBN: 9783642192364
Editor: Namjoshi, Kedar, Editor: Zeller, Andreas, Editor: Ziv, Avi, Springer, Paperback, Auflage: 2011, 179 Seiten, Publiziert: 2011-02-10T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: … More...
amazon.co.uk bookpark london Shipping costs:In stock. Real shipping costs can differ from the ones shown here. (EUR 3.25) Details... |
2011, ISBN: 9783642192364
Editor: Namjoshi, Kedar, Editor: Zeller, Andreas, Editor: Ziv, Avi, Springer, Paperback, Auflage: 2011, 179 Seiten, Publiziert: 2011-02-10T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: … More...
amazon.co.uk Shipping costs:Real shipping costs can differ from the ones shown here. (EUR 3.25) Details... |
2011, ISBN: 9783642192364
Springer, Taschenbuch, Auflage: 2011, 180 Seiten, Publiziert: 2011-02-10T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 32758892, 0.58 kg, Informatik, IT-Ausbildung & -Berufe, Computer &… More...
amazon.de ausverkauf Shipping costs:Auf Lager. Real shipping costs can differ from the ones shown here. (EUR 3.00) Details... |
ISBN: 9783642192364
Springer . Papeback. New. pp. 180, Springer, 6
Biblio.co.uk |
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, ... (Lecture Notes in Computer Science, 6405) - Paperback
2011, ISBN: 9783642192364
Editor: Namjoshi, Kedar, Editor: Zeller, Andreas, Editor: Ziv, Avi, Springer, Paperback, Auflage: 2011, 179 Seiten, Publiziert: 2011-07-25T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: … More...
2011, ISBN: 9783642192364
Editor: Namjoshi, Kedar, Editor: Zeller, Andreas, Editor: Ziv, Avi, Springer, Paperback, Auflage: 2011, 179 Seiten, Publiziert: 2011-02-10T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: … More...
2011
ISBN: 9783642192364
Editor: Namjoshi, Kedar, Editor: Zeller, Andreas, Editor: Ziv, Avi, Springer, Paperback, Auflage: 2011, 179 Seiten, Publiziert: 2011-02-10T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: … More...
2011, ISBN: 9783642192364
Springer, Taschenbuch, Auflage: 2011, 180 Seiten, Publiziert: 2011-02-10T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 32758892, 0.58 kg, Informatik, IT-Ausbildung & -Berufe, Computer &… More...
ISBN: 9783642192364
Springer . Papeback. New. pp. 180, Springer, 6
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, ... (Lecture Notes in Computer Science, 6405)
EAN (ISBN-13): 9783642192364
ISBN (ISBN-10): 364219236X
Hardcover
Paperback
Publishing year: 2011
Publisher: Springer
168 Pages
Weight: 0,280 kg
Language: eng/Englisch
Book in our database since 2009-01-24T18:02:40+00:00 (London)
Detail page last modified on 2023-06-10T18:48:15+01:00 (London)
ISBN/EAN: 9783642192364
ISBN - alternate spelling:
3-642-19236-X, 978-3-642-19236-4
Alternate spelling and related search-keywords:
Book author: zeller, avi, zelle, kedar, andreas zell
Book title: hardware, haifa, international testing, international conference software
Information from Publisher
Author: Kedar Namjoshi; Andreas Zeller; Avi Ziv
Title: Lecture Notes in Computer Science; Programming and Software Engineering; Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Publisher: Springer; Springer Berlin
169 Pages
Publishing year: 2011-02-10
Berlin; Heidelberg; DE
Printed / Made in
Language: English
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
X, 169 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; automated random testing; bisimulation minimization; constraint debugging; constraint-random verification; dataflow analysis; diagnosability; distribution constraints; formal reasoning; functional test generation; functional verification; model checking; multi-comparative functional coverage; optimization of verification; program analysis; transitive relations; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Theoretische Informatik; Compiler und Übersetzer; EA
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).
State-of-the-art research Fast-track conference proceedings Unique selling points
More/other books that might be very similar to this book
Latest similar book:
9783319030777 Hardware and Software: Verification and Testing (Gwenael Pottiez)
- 9783319030777 Hardware and Software: Verification and Testing (Gwenael Pottiez)
- 9783319133379 Hardware and Software: Verification and Testing (Yahav, Eran)
- 9783319030760 Hardware and Software: Verification and Testing (Valeria Bertacco; Axel Legay)
- Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings ... Science Book 10629) (English Edition) (Eran Yahav)
- Hardware and Software Verification and Testing. First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers. (Ur, Shmuel; Eyal Bin; Yaron Wolfsthal (Eds.))
< to archive...