Hardware and Software : Verification and Testing - Info and Reading Options
10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
By Eran Yahav
"Hardware and Software : Verification and Testing" was published by Springer London, Limited in 2014, it has 302 pages and the language of the book is English.
“Hardware and Software : Verification and Testing” Metadata:
- Title: ➤ Hardware and Software : Verification and Testing
- Author: Eran Yahav
- Language: English
- Number of Pages: 302
- Publisher: Springer London, Limited
- Publish Date: 2014
“Hardware and Software : Verification and Testing” Subjects and Themes:
- Subjects: ➤ Computer programs - Computer input-output equipment - Computer software, verification - Artificial Intelligence (incl. Robotics) - Software engineering - Computer science - Computer Communication Networks - Logic design - Artificial intelligence - Logics and Meanings of Programs - Programming Languages, Compilers, Interpreters - Mathematical Logic and Formal Languages
Edition Identifiers:
- The Open Library ID: OL34520379M - OL25691909W
- ISBN-13: 9783319133386
- All ISBNs: 9783319133386
AI-generated Review of “Hardware and Software : Verification and Testing”:
Read “Hardware and Software : Verification and Testing”:
Read “Hardware and Software : Verification and Testing” by choosing from the options below.
Search for “Hardware and Software : Verification and Testing” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Hardware and Software : Verification and Testing” in Libraries Near You:
Read or borrow “Hardware and Software : Verification and Testing” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Hardware and Software : Verification and Testing” at a library near you.
Buy “Hardware and Software : Verification and Testing” online:
Shop for “Hardware and Software : Verification and Testing” on popular online marketplaces.
- Ebay: New and used books.