- 5 Results
Lowest price: € 60.99, highest price: € 63.17, average price: € 61.79
1
Hardware and Software: Verification and Testing als eBook Download von
Order
at Hugendubel.de
€ 60.99
Order
Details & Shipping
Sponsored link

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

2007, ISBN: 9783540779667

Hardware and Software: Verification and Testing:Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings Hardware and Software: Verific… More...

  - No. 25407750 Shipping costs:zzgl. Versandkosten, plus shipping costs
close (x)
2
Order
at eBook.de
€ 60.99
Order
Details & Shipping
Sponsored link
Hardware and Software: Verification and Testing - new book

2007, ISBN: 9783540779667

Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, Oc… More...

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

ISBN: 9783540779667

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. 25407750. Shipping costs:Zzgl. Versandkosten. (EUR 0.00)
close (x)
4
Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings - Violetta Krawczyk-Wasilewska
Order
at hive.co.uk
£ 53.54
(aprox. € 62.83)
Order
Details & Shipping
Sponsored link
Violetta Krawczyk-Wasilewska:
Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings - new book

2007, ISBN: 9783540779667

; PDF; Computing, Peter Lang GmbH, Internationaler Verlag der Wissen

No. 9783540779667. Shipping costs:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., plus shipping costs
close (x)
5
Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings - Grigoris Antoniou
Order
at hive.co.uk
£ 53.54
(aprox. € 63.17)
Order
Details & Shipping
Sponsored link
Grigoris Antoniou:
Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings - new book

2007, ISBN: 9783540779667

; PDF \ Grigoris Antoniou; Computing, Springer Berlin Heidelberg

  - No. 9783540779667 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:

9783540779667

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


EAN (ISBN-13): 9783540779667
Publishing year: 2007
Publisher: Springer Berlin Heidelberg

Book in our database since 2015-12-29T12:18:12+00:00 (London)
Detail page last modified on 2022-12-31T08:20:25+00:00 (London)
ISBN/EAN: 9783540779667

ISBN - alternate spelling:
978-3-540-77966-7
Alternate spelling and related search-keywords:
Book author: krawczyk, wasilewska

Information from Publisher

Author: Karen Yorav
Title: Programming and Software Engineering; Lecture Notes in Computer Science; Hardware and Software: Verification and Testing - Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings
Publisher: Springer; Springer Berlin
267 Pages
Publishing year: 2008-02-02
Berlin; Heidelberg; DE
Language: English
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XII, 267 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; SAT-based verification algorithms; algorithms; automata; classification of hardware bugs; concurrency tes; design for verifiability; equivalence checking; formal verification; formal verification methods; high-level stimuli generation; model checking; semantics; simulation-based verification; static analysis; verification; C; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Computer Science; Theoretische Informatik; Compiler und Übersetzer; BC

Invited Talks.- Simulation vs. Formal: Absorb What Is Useful; Reject What Is Useless.- Scaling Commercial Verification to Larger Systems.- From Hardware Verification to Software Verification: Re-use and Re-learn.- Where Do Bugs Come from?.- HVC Award.- Symbolic Execution and Model Checking for Testing.- Hardware Verification.- On the Characterization of Until as a Fixed Point Under Clocked Semantics.- Reactivity in SystemC Transaction-Level Models.- Model Checking.- Verifying Parametrised Hardware Designs Via Counter Automata.- How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison.- Dynamic Hardware Verification.- Constraint Patterns and Search Procedures for CP-Based Random Test Generation.- Using Virtual Coverage to Hit Hard-To-Reach Events.- Merging Formal and Testing.- Test Case Generation for Ultimately Periodic Paths.- Dynamic Testing Via Automata Learning.- Formal Verification for Software.- On the Architecture of System Verification Environments.- Exploiting Shared Structure in Software Verification Conditions.- Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code.- A Complete Bounded Model Checking Algorithm for Pushdown Systems.- Software Testing.- Locating Regression Bugs.- The Advantages of Post-Link Code Coverage.- GenUTest: A Unit Test and Mock Aspect Generation Tool.
< to archive...