- 5 Results
Lowest price: € 34.19, highest price: € 127.75, average price: € 66.04
1
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)
Order
at amazon.com
$ 80.54
(aprox. € 75.03)
Shipment: € 13.961
OrderSponsored link

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) - Paperback

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.: … More...

Shipping costs:In Stock. Lieferung von Amazon. (EUR 13.96) Amazon.com
2
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)
Order
at amazon.co.uk
£ 29.44
(aprox. € 34.19)
Shipment: € 3.251
OrderSponsored link
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) - Paperback

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.: … More...

Shipping costs:In stock. Real shipping costs can differ from the ones shown here. (EUR 3.25) bookpark london
3
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)
Order
at amazon.co.uk
£ 39.88
(aprox. € 46.31)
Shipment: € 3.251
OrderSponsored link
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) - Paperback

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.: … More...

Shipping costs:Real shipping costs can differ from the ones shown here. (EUR 3.25)
4
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, ... Notes in Computer Science, Band 6405)
Order
at amazon.de
€ 46.93
Shipment: € 3.001
OrderSponsored link
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, ... Notes in Computer Science, Band 6405) - Paperback

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 &… More...

Shipping costs:Auf Lager. Real shipping costs can differ from the ones shown here. (EUR 3.00) ausverkauf
5
Order
at Biblio.co.uk
$ 137.14
(aprox. € 127.75)
Shipment: € 16.771
OrderSponsored link
Hardware and Software - new book

ISBN: 9783642192364

Springer . Papeback. New. pp. 180, Springer, 6

Shipping costs: EUR 16.77 Cold Books

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: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, ... (Lecture Notes in Computer Science, 6405)

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

Details of the book - 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
Hardcover
Paperback
Publishing year: 2011
Publisher: Springer
168 Pages
Weight: 0,280 kg
Language: eng/Englisch

Book in our database since 2009-01-24T18:02:40+00:00 (London)
Detail page last modified on 2023-06-10T18:48:15+01:00 (London)
ISBN/EAN: 9783642192364

ISBN - alternate spelling:
3-642-19236-X, 978-3-642-19236-4
Alternate spelling and related search-keywords:
Book author: zeller, avi, zelle, kedar, andreas zell
Book title: hardware, haifa, international testing, international conference software


Information from Publisher

Author: Kedar Namjoshi; Andreas Zeller; Avi Ziv
Title: 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
Publisher: Springer; Springer Berlin
169 Pages
Publishing year: 2011-02-10
Berlin; Heidelberg; DE
Printed / Made in
Language: English
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

< to archive...