E- text books

Description

Title of E-book: Taxonomies for the Development and Verification of Digital Systems
Author: Bailey 
Publisher: Springer
Access online  

Publication date: 2005