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.: … Más…
| 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.: … Más…
| amazon.co.uk bookpark london Gastos de envío: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.: … Más…
| amazon.co.uk Gastos de envío: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 &… Más…
| amazon.de ausverkauf Gastos de envío: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) - Pasta blanda
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.: … Más…
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.: … Más…
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.: … Más…
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 &… Más…
ISBN: 9783642192364
Springer . Papeback. New. pp. 180, Springer, 6
Datos bibliográficos del mejor libro coincidente
| Autor: | |
| Título: | |
| ISBN: |
Detalles 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
Tapa dura
Tapa blanda
Año de publicación: 2011
Editorial: Springer
168 Páginas
Peso: 0,280 kg
Idioma: eng/Englisch
Libro en la base de datos desde 2009-01-24T12:02:40-06:00 (Mexico City)
Página de detalles modificada por última vez el 2023-06-10T11:48:15-06:00 (Mexico City)
ISBN/EAN: 9783642192364
ISBN - escritura alterna:
3-642-19236-X, 978-3-642-19236-4
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: zeller, avi, zelle, kedar, andreas zell
Título del libro: hardware, haifa, international testing, international conference software
Datos del la editorial
Autor: Kedar Namjoshi; Andreas Zeller; Avi Ziv
Título: 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
Editorial: Springer; Springer Berlin
169 Páginas
Año de publicación: 2011-02-10
Berlin; Heidelberg; DE
Impreso en
Idioma: Inglés
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
Más, otros libros, que pueden ser muy parecidos a este:
Último libro similar:
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.))
< para archivar...