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.: … Altro …
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.: … Altro …
amazon.co.uk bookpark london Costi di spedizione: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.: … Altro …
amazon.co.uk Costi di spedizione: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 &… Altro …
amazon.de ausverkauf Costi di spedizione: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) - edizione con copertina flessibile
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.: … Altro …
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.: … Altro …
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.: … Altro …
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 &… Altro …
ISBN: 9783642192364
Springer . Papeback. New. pp. 180, Springer, 6
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - 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
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2011
Editore: Springer
168 Pagine
Peso: 0,280 kg
Lingua: eng/Englisch
Libro nella banca dati dal 2009-01-24T19:02:40+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-06-10T19:48:15+02:00 (Zurich)
ISBN/EAN: 9783642192364
ISBN - Stili di scrittura alternativi:
3-642-19236-X, 978-3-642-19236-4
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : zeller, avi, zelle, kedar, andreas zell
Titolo del libro: hardware, haifa, international testing, international conference software
Dati dell'editore
Autore: Kedar Namjoshi; Andreas Zeller; Avi Ziv
Titolo: 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
Editore: Springer; Springer Berlin
169 Pagine
Anno di pubblicazione: 2011-02-10
Berlin; Heidelberg; DE
Stampato / Fatto in
Lingua: Inglese
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
Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
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.))
< Per archiviare...