- 5 Results
Lowest price: € 34.15, highest price: € 43.99, average price: € 38.48
1
Hardware and Software: Verification and Testing - Nir Piterman
Order
at kobo.com
£ 30.59
(aprox. € 34.15)
Shipment: € 0.001
Order
Provider details
Sponsored link
Nir Piterman:

Hardware and Software: Verification and Testing - new book

10, ISBN: 9783319262871

This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015.The 17 revised full papers and 4 … More...

  - E-Book zum download. Shipping costs: EUR 0.00
close (x)
2
Hardware and Software: Verification and Testing als eBook Download von
Order
at Hugendubel.de
€ 43.99
Order
Details & Shipping
Sponsored link
Hardware and Software: Verification and Testing als eBook Download von - new book

2015, ISBN: 9783319262871

Hardware and Software: Verification and Testing:11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings Hardware and Software: Verific… More...

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

ISBN: 9783319262871

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. 25408655. Shipping costs:Zzgl. Versandkosten. (EUR 0.00)
close (x)
4
Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings - Liqiu Wang
Order
at hive.co.uk
£ 30.59
(aprox. € 34.67)
Order
Details & Shipping
Sponsored link
Liqiu Wang:
Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings - new book

2015, ISBN: 9783319262871

; PDF; Computing > Computer programming / software development > Software Engineering, Springer Berlin Heidelberg

  - No. 9783319262871. Shipping costs:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., plus shipping costs
close (x)
5
Order
at hive.co.uk
£ 30.59
(aprox. € 36.09)
Order
Details & Shipping
Sponsored link
David Bernhard:
Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings - new book

2015, ISBN: 9783319262871

; PDF \ David Bernhard; Computing > Computer programming / software development > Software Engineering, Wiley

  - No. 9783319262871 Shipping costs:Instock, Despatched same working day before 3pm, zzgl. Versandkosten, plus shipping costs
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:

9783319262871

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


EAN (ISBN-13): 9783319262871
Publishing year: 2015
Publisher: Springer Science+Business Media

Book in our database since 2017-01-30T18:47:45+00:00 (London)
Detail page last modified on 2018-05-15T14:08:21+01:00 (London)
ISBN/EAN: 9783319262871

ISBN - alternate spelling:
978-3-319-26287-1
Alternate spelling and related search-keywords:
Book title: hardware, international conference software

Information from Publisher

Author: Nir Piterman
Title: Lecture Notes in Computer Science; Programming and Software Engineering; Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Publisher: Springer; Springer International Publishing
293 Pages
Publishing year: 2015-10-26
Cham; CH
Language: English
50,28 € (DE)
51,70 € (AT)
57,00 CHF (CH)
Available
XVI, 293 p. 88 illus. in color.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; Dynamic validation; Hybrid systems; Model checking; SAT solving; Timed systems; Abstraction; Formal verification; Hardware verification; Heartbleed; IPv6 mobility; Java; Multi-core processors; Parallel implementations; Parameterised verification; Simulation; Software verification; Symbolic execution; Synthesis; Testing; Theorem proving; C; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Formal Languages and Automata Theory; Artificial Intelligence; Computer Communication Networks; Computer Science; Theoretische Informatik; Compiler und Übersetzer; Künstliche Intelligenz; Netzwerk-Hardware; BC

This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015.

The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain verification; and synthesis.


Includes supplementary material: sn.pub/extras
< to archive...