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.: … mais…
| 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.: … mais…
| amazon.co.uk bookpark london Custos de envio: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.: … mais…
| amazon.co.uk Custos de envio: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 &… mais…
| amazon.de ausverkauf Custos de envio: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) - Livro de bolso
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.: … mais…
no/na amazon.co.uk
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.: … mais…
no/na amazon.co.uk
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.: … mais…
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 &… mais…
no/na Biblio.co.uk
ISBN: 9783642192364
Springer . Papeback. New. pp. 180, Springer, 6
Dados bibliográficos do melhor livro correspondente
| Autor: | |
| Título: | |
| Número ISBN: |
Dados detalhados do livro - 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
Livro de capa dura
Livro de bolso
Ano de publicação: 2011
Editor/Editora: Springer
168 Páginas
Peso: 0,280 kg
Língua: eng/Englisch
Livro na base de dados desde 2009-01-24T16:02:40-02:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2023-06-10T14:48:15-03:00 (Sao Paulo)
Número ISBN/EAN: 9783642192364
Número ISBN - Ortografia alternativa:
3-642-19236-X, 978-3-642-19236-4
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: zeller, avi, zelle, kedar, andreas zell
Título do livro: hardware, haifa, international testing, international conference software
Dados da editora
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
Editora: Springer; Springer Berlin
169 Páginas
Ano de publicação: 2011-02-10
Berlin; Heidelberg; DE
Impresso / Feito em
Língua: 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
Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
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 arquivar...