- 5 Results
Lowest price: € 36.47, highest price: € 40.49, average price: € 39.04
1
Hardware and Software: Verification and Testing - Armin Biere; Amir Nahir; Tanja Vos
Order
at Springer.com
€ 39.26
OrderSponsored link
Armin Biere; Amir Nahir; Tanja Vos:

Hardware and Software: Verification and Testing - new book

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...

  - new in stock. Shipping costs:zzgl. Versandkosten., plus shipping costs
2
Hardware and Software: Verification and Testing - Armin Biere; Amir Nahir; Tanja Vos
Order
at Springer.com
€ 39.26
OrderSponsored link

Armin Biere; Amir Nahir; Tanja Vos:

Hardware and Software: Verification and Testing - new book

ISBN: 9783642396113

Computer Science; Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics); Mathematical Logic and F… More...

  - Shipping costs:zzgl. Versandkosten, plus shipping costs
3
Order
at eBook.de
€ 40.49
OrderSponsored link
Hardware and Software: Verification and Testing - new book

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...

  - No. 25495259 Shipping costs:zzgl. Versandkosten, plus shipping costs
4
Order
at hive.co.uk
£ 35.69
(aprox. € 39.73)
OrderSponsored link
Karan Singh:
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

No. 9783642396113. Shipping costs:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., plus shipping costs
5
Order
at lehmanns.de
€ 36.47
Shipment: € 13.951
OrderSponsored link
Armin Biere; Amir Nahir; Tanja Vos:
Hardware and Software: Verification and Testing - new book

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]

Shipping costs:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 13.95)

1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book

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

< to archive...