- 5 Results
Lowest price: € 50.28, highest price: € 61.78, average price: € 54.61
1
Hardware and Software: Verification and Testing - Sharon Barner; Ian Harris; Daniel Kroening; Orna Raz
Order
at Springer.com
€ 50.28
Order
Details & Shipping
Sponsored link
Sharon Barner; Ian Harris; Daniel Kroening; Orna Raz:

Hardware and Software: Verification and Testing - new book

2010, ISBN: 9783642195839

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010. The 10 r… More...

new in stock. Shipping costs:zzgl. Versandkosten., plus shipping costs
close (x)
2
Hardware and Software: Verification and Testing als eBook von - Springer Berlin Heidelberg
Order
at eBook.de
€ 53.49
Order
Details & Shipping
Sponsored link

Springer Berlin Heidelberg:

Hardware and Software: Verification and Testing als eBook von - new book

2010, ISBN: 9783642195839

Hardware and Software: Verification and Testing ab 53.49 EURO 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers Programm… More...

  - No. 16844232. Shipping costs:Zzgl. Versandkosten., plus shipping costs
close (x)
3
Hardware and Software: Verification and Testing als eBook Download von
Order
at Hugendubel.de
€ 53.99
Order
Details & Shipping
Sponsored link
Hardware and Software: Verification and Testing als eBook Download von - new book

2010

ISBN: 9783642195839

Hardware and Software: Verification and Testing:6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers Programming and Softwa… More...

  - No. 16844232 Shipping costs:zzgl. Versandkosten, plus shipping costs
close (x)
4
Hardware and Software: Verification and Testing als eBook Download von
Order
at Hugendubel.de
€ 53.49
Shipment: € 0.001
Order
Provider details
Sponsored link
Hardware and Software: Verification and Testing als eBook Download von - new book

ISBN: 9783642195839

Lieferung innerhalb 1-4 Werktagen. Versandkostenfrei, wenn Buch oder Hörbuch enthalten ist, sonst 2,95 EUR. Ab 19,90 EUR versandkostenfrei. (Deutschland) eBooks > Sachthemen & Ratgeber … More...

  - No. 16844232. Shipping costs:Zzgl. Versandkosten. (EUR 0.00)
close (x)
5
Order
at lehmanns.de
€ 61.78
Shipment: € 0.001
Order
Provider details
Sponsored link
Sharon Barner; Ian Harris; Daniel Kroening; Orna Raz:
Hardware and Software: Verification and Testing - new book

2011, ISBN: 9783642195839

6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Sprin… More...

Shipping costs:Download sofort lieferbar. (EUR 0.00)
close (x)
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
Hardware and Software: Verification and Testing
Author:
Title:
ISBN:

9783642195839

Details of the book - Hardware and Software: Verification and Testing


EAN (ISBN-13): 9783642195839
Publishing year: 2010
Publisher: Springer Berlin Heidelberg

Book in our database since 2017-02-20T14:31:08+00:00 (London)
Detail page last modified on 2021-11-09T23:25:44+00:00 (London)
ISBN/EAN: 9783642195839

ISBN - alternate spelling:
978-3-642-19583-9
Alternate spelling and related search-keywords:
Book author: harris, barner
Book title: hardware

Information from Publisher

Author: Sharon Barner; Ian Harris; Daniel Kroening; Orna Raz
Title: Lecture Notes in Computer Science; Programming and Software Engineering; Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Publisher: Springer; Springer Berlin
197 Pages
Publishing year: 2011-03-09
Berlin; Heidelberg; DE
Language: English
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
X, 197 p. 51 illus., 13 illus. in color.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; SAT solving; model checking; model-based diagnosis; proof reduction; query checking; reflection; resolution; specification; test generation; test specification; test-case generation; validation; C; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Computer Science; Theoretische Informatik; Compiler und Übersetzer; BC

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010.

The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon.


Unique visibility fast-track-conference proceedings state-of-the-art research
< to archive...