Audible Trade

Audible allows users to send audible books to other users.
You can only receive a book once per audible account.

Check out the free trial month, if you don't have an audible account yet

Also remember "sharing is caring". People are more likely to share their books with you if you offer yours as well.

Book Trade

Please remember "sharing is caring". People are more likely to share their books with you if you offer many books yourself as well.

Not enough tokens

I'm sorry but you do not have enough tokens to trade, yet. Please trade your books with others first in order to request this book.

Request Book for Free

Hardware and Software: Verific

Hardware and Software: Verification and Testing

Name: Hardware and Software: Verification and Testing
Availability: OutOfStock
Author: Kerstin Eder
ISBN: 9783642341885

From Kerstin Eder

Currently no offers 2012 EN Computers

Currently no offers Check offers, add your own copy or save your reading status.

Book Information

Released: 2012-10-12
Pages: 263
Language: en
ISBN-10:3642341888
ISBN-13:9783642341885
Category:Computers

Description

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 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. (Source: Google Books API)

Rate/Setting

Offers

No offers yet

Be the first to offer this book or check back later.

Only Offers/Searches from registered users with name will be displayed. Set up a name here to see your offers.

Book-Sharing 2026 - Impressum | Datenschutz