X

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
BOOK-SHARINGHardware andSoftware:Verificationand TestingArmin BiereComputers

Hardware and Software: Verification and Testing

From

2013 EN Computers

Book Information

  • Released:
  • Pages: 281
  • Language: en
  • ISBN-10:3642396119
  • ISBN-13:9783642396113
  • Category:Computers

Description

This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the future directions of testing and verification for hardware, software, and complex hybrid systems. (Description from external book data)

listed in Computers | 6 similar books linked from this page.

Offers

Currently unavailable

There are no swap offers for this book right now.

Log in to offer

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

Rate/Setting

More to discover

Find more books by this author, in this category or in the same language.

More by Armin Biere Open category charts Browse EN books



Book-Sharing 2026 - Impressum | Datenschutz