2012, ISBN: 9783642396113
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full pap… More...
Springer.com new in stock. Shipping costs:zzgl. Versandkosten., plus shipping costs Details... |
ISBN: 9783642396113
Computer Science; Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics); Mathematical Logic and F… More...
Springer.com Shipping costs:zzgl. Versandkosten, plus shipping costs Details... |
2012, ISBN: 9783642396113
8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers 8th International Haifa Verification Conference, HVC 2012, Haifa, Isr… More...
eBook.de No. 25495259 Shipping costs:zzgl. Versandkosten, plus shipping costs Details... |
Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers - new book
2012, ISBN: 9783642396113
; EPUB; Computing > Computer programming / software development > Programming & scripting languages: general, Penguin Books Ltd
hive.co.uk No. 9783642396113. Shipping costs:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., plus shipping costs Details... |
2013, ISBN: 9783642396113
8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]
lehmanns.de Shipping costs:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 13.95) Details... |
2012, ISBN: 9783642396113
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full pap… More...
ISBN: 9783642396113
Computer Science; Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics); Mathematical Logic and F… More...
2012
ISBN: 9783642396113
8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers 8th International Haifa Verification Conference, HVC 2012, Haifa, Isr… More...
Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers - new book
2012, ISBN: 9783642396113
; EPUB; Computing > Computer programming / software development > Programming & scripting languages: general, Penguin Books Ltd
2013, ISBN: 9783642396113
8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers, eBook Download (PDF), eBooks, [PU: Springer Berlin Heidelberg]
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - Hardware and Software: Verification and Testing
EAN (ISBN-13): 9783642396113
Publishing year: 2012
Publisher: Springer Berlin Heidelberg
Book in our database since 2017-04-18T21:12:38+01:00 (London)
Detail page last modified on 2021-06-26T15:31:46+01:00 (London)
ISBN/EAN: 9783642396113
ISBN - alternate spelling:
978-3-642-39611-3
Alternate spelling and related search-keywords:
Book author: karan singh, armin voß
Information from Publisher
Author: Armin Biere; Amir Nahir; Tanja Vos
Title: Programming and Software Engineering; Lecture Notes in Computer Science; Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Publisher: Springer; Springer Berlin
281 Pages
Publishing year: 2013-07-03
Berlin; Heidelberg; DE
Language: English
48,14 € (DE)
49,50 € (AT)
54,50 CHF (CH)
Available
XII, 281 p. 75 illus.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; UML; component based design; fault tolerant modeling; model checking; safety-critical systems; C; Software Engineering; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Artificial Intelligence; Formal Languages and Automata Theory; Computer Science; Compiler und Übersetzer; Theoretische Informatik; Künstliche Intelligenz; BC
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the future directions of testing and verification for hardware, software, and complex hybrid systems.Fast track conference proceedings Unique visibility State of the art research
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)
- 9783319262871 Hardware and Software: Verification and Testing (Nir Piterman)
- 9783319133379 Hardware and Software: Verification and Testing (Yahav, Eran)
- 9783319133386 Hardware and Software: Verification and Testing (Eran Yahav)
- 9783319262864 Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, ... Notes in Computer Science, Band 9434) (Nir Piterman)
- 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)
< to archive...