Taxonomies for the development and verification of digital systems /

Bibliographic Details
Other Authors: Bailey, Brian, 1959-, Martin, Grant, Anderson, Thomas, 1950-
Format: Book
Language:English
Published: New York : Springer, 2005.
Subjects:
Online Access:Table of contents only
Publisher description
Contributor biographical information

Internet

Table of contents only
Publisher description
Contributor biographical information

Evans: Library Stacks

Holdings details from Evans: Library Stacks
Call Number: TK7874.65 T39 2005
 
Call Number Status Get It
TK7874.65 T39 2005 Available