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
Description
Physical Description:xx, 179 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references (pages [169]-171) and index.
ISBN:0387240195 (hbk.)
9780387240190 (hbk.)
0387240217 (e-ISBN)
9780387240213 (e-ISBN)