- 5 Results
Lowest price: € 49.12, highest price: € 59.49, average price: € 52.62
1
Hardware and Software: Verification and Testing als eBook Download von
Order
at Hugendubel.de
€ 50.49
Shipment: € 0.001
Order
Provider details
Sponsored link

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

2014, ISBN: 9783319133386

Hardware and Software: Verification and Testing:10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings Hardware and Software: Verific… More...

  - No. 23509996. Shipping costs:Zzgl. Versandkosten. (EUR 0.00)
close (x)
2
Hardware and Software: Verification and Testing als eBook Download von
Order
at Hugendubel.de
€ 50.49
Shipment: € 0.001
Order
Provider details
Sponsored link
Hardware and Software: Verification and Testing als eBook Download von - new book

ISBN: 9783319133386

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

  - No. 23509996. Shipping costs:Zzgl. Versandkosten. (EUR 0.00)
close (x)
3
Hardware and Software: Verification and Testing
Order
at eBook.de
€ 53.49
Shipment: € 0.001
Order
Provider details
Sponsored link
Hardware and Software: Verification and Testing - new book

2014

ISBN: 9783319133386

Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference HVC 2014 Haifa Israel November 18-20 2014 Proceedings: ab 53.49 € eBooks > Fachthemen & … More...

Shipping costs:in stock, , , DE. (EUR 0.00)
close (x)
4
Hardware and Software: Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings - Horst Dippel
Order
at hive.co.uk
£ 43.34
(aprox. € 49.12)
Order
Details & Shipping
Sponsored link
Horst Dippel:
Hardware and Software: Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings - new book

2014, ISBN: 9783319133386

; PDF; Computing > Computer programming / software development > Programming & scripting languages: general, De Gruyter

  - No. 9783319133386. Shipping costs:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., plus shipping costs
close (x)
5
Hardware and Software: Verification and Testing - Eran Yahav
Order
at lehmanns.de
€ 59.49
Shipment: € 0.001
Order
Provider details
Sponsored link
Eran Yahav:
Hardware and Software: Verification and Testing - new book

2014, ISBN: 9783319133386

10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings, eBooks, eBook Download (PDF), [PU: Springer International Publishing], Spring… 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:

9783319133386

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


EAN (ISBN-13): 9783319133386
ISBN (ISBN-10): 3319133381
Publishing year: 2014
Publisher: Springer International Publishing

Book in our database since 2015-03-06T08:46:04+00:00 (London)
Detail page last modified on 2023-10-26T20:27:13+01:00 (London)
ISBN/EAN: 9783319133386

ISBN - alternate spelling:
3-319-13338-1, 978-3-319-13338-6
Alternate spelling and related search-keywords:
Book author: horst dippel, eran
Book title: november, hardware, international conference software

Information from Publisher

Author: Eran Yahav
Title: Lecture Notes in Computer Science; Programming and Software Engineering; Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Publisher: Springer; Springer International Publishing
302 Pages
Publishing year: 2014-11-03
Cham; CH
Language: English
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XVI, 302 p. 78 illus.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; DMA; HOL4; automata-based programming; automated testing; automated verification; discrete-event systems; discrete-event systems; dynamic invariants; formal verification; java; model checking; peripheral devices; relational logic; simulation; test case generation; theorem proving; verification; C; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Artificial Intelligence; Formal Languages and Automata Theory; Computer Communication Networks; Computer Science; Theoretische Informatik; Compiler und Übersetzer; Künstliche Intelligenz; Netzwerk-Hardware; BC

Using Coarse-Grained Abstractions to Verify Linearizability on TSO Architectures.- Enhancing Scenario Quality Using Quasi-Events.- Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems.- DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification.- Generating Modulo-2 Linear Invariants for Hardware Model Checking.- Suraq — A Controller Synthesis Tool Using Uninterpreted Functions.- Synthesizing Finite-State Protocols from Scenarios and Requirements.- Automatic Error Localization for Software Using Deductive Verification.- Generating JML Specifications from Alloy Expressions.- Assume-Guarantee Abstraction Refinement Meets Hybrid Systems.- Handling TSO in Mechanized Linearizability Proofs.- Partial Quantifier Elimination.- Formal Verification of 800 Genetically Constructed Automata Programs: A Case Study.- A Framework to Synergize Partial Order Reduction with State Interpolation.- Reduction of Resolution Refutations and Interpolants via Subsumption.- Read, Write and Copy Dependencies for Symbolic Model Checking.- Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams.- Formal Verification of Secure User Mode Device Execution with DMA.- Supervisory Control of Discrete-Event Systems via IC3.- Partial-Order Reduction for Multi-core LTL Model Checking.- A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution.
< to archive...