- 5 Results
Lowest price: € 46.71, highest price: € 51.17, average price: € 49.11
1
Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised ... Notes in Computer Science, Band 7261)
Order
at Amazon.de (Intern. Bücher)
€ 46.71
Shipment: € 3.001
Order
Provider details
Sponsored link

Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised ... Notes in Computer Science, Band 7261) - Paperback

2012, ISBN: 9783642341878

Springer, Taschenbuch, Auflage: 2012, 276 Seiten, Publiziert: 2012-10-09T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: 95 black & white illustrations, biograph, 0.94 kg, Informatik, IT-… More...

Shipping costs:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
close (x)
2
Hardware and Software: Verification and Testing, Kartoniert (TB)
Order
at Weltbild.de
€ 49.22
Shipment: € 0.001
Order
Provider details
Sponsored link
Hardware and Software: Verification and Testing, Kartoniert (TB) - new book

2012, ISBN: 9783642341878

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011.The 15 r… More...

Nr. 129732244. Shipping costs:, 2-5 Werktage, DE. (EUR 0.00)
close (x)
3
Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers - Eder, Kerstin (Herausgeber); Louren¿o, João (Herausgeber); Shehory, Onn (Herausgeber)
Order
at Achtung-Buecher.de
€ 49.22
Shipment: € 0.001
Order
Provider details
Sponsored link
Eder, Kerstin (Herausgeber); Louren¿o, João (Herausgeber); Shehory, Onn (Herausgeber):
Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers - new book

2012

ISBN: 364234187X

2012 Kartoniert / Broschiert Computerprogrammierung und Softwareentwicklung, Programmier- und Skriptsprachen, allgemein, Software Engineering, Rechnerarchitektur und Logik-Entwurf, Küns… More...

Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
close (x)
4
Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers - Eder, Kerstin (Herausgeber); Shehory, Onn (Herausgeber); Louren¿o, João (Herausgeber)
Order
at Achtung-Buecher.de
€ 51.17
Shipment: € 0.001
Order
Provider details
Sponsored link
Eder, Kerstin (Herausgeber); Shehory, Onn (Herausgeber); Louren¿o, João (Herausgeber):
Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers - new book

2012, ISBN: 364234187X

2012 Kartoniert / Broschiert Computerprogrammierung und Softwareentwicklung, Programmier- und Skriptsprachen, allgemein, Software Engineering, Rechnerarchitektur und Logik-Entwurf, Küns… More...

Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
close (x)
5
Hardware and Software: Verification and Testing - Kerstin Eder; João Lourenҫo; Onn Shehory
Order
at lehmanns.de
€ 49.22
Shipment: € 0.001
Order
Provider details
Sponsored link
Kerstin Eder; João Lourenҫo; Onn Shehory:
Hardware and Software: Verification and Testing - Paperback

2012, ISBN: 9783642341878

7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers, 2012, Softcover, Buch, [PU: Springer Berlin]

Shipping costs:Versand in 10-14 Tagen (Lieferung nach Weihnachten), , Versandkostenfrei innerhalb der BRD. (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:

9783642341878

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


EAN (ISBN-13): 9783642341878
ISBN (ISBN-10): 364234187X
Hardcover
Paperback
Publishing year: 2012
Publisher: Springer Berlin

Book in our database since 2014-04-19T17:30:16+01:00 (London)
Detail page last modified on 2023-09-22T14:39:54+01:00 (London)
ISBN/EAN: 9783642341878

ISBN - alternate spelling:
3-642-34187-X, 978-3-642-34187-8
Alternate spelling and related search-keywords:
Book author: eder, joão
Book title: international testing, hardware, 7th international, israel, haifa

Information from Publisher

Author: Kerstin Eder; João Lourenҫo; Onn Shehory
Title: Lecture Notes in Computer Science; Programming and Software Engineering; Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Publisher: Springer; Springer Berlin
263 Pages
Publishing year: 2012-10-09
Berlin; Heidelberg; DE
Printed / Made in
Language: English
49,22 € (DE)
50,60 € (AT)
61,62 CHF (CH)
POD
XII, 263 p. 95 illus.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; SAT solvers; hardware; hybrid automata; model checking; symbolic checking; Software Engineering; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Artificial Intelligence; Compiler und Übersetzer; Theoretische Informatik; Künstliche Intelligenz; EA

The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.
High quality selected paper Unique visibility State of the art research
< to archive...