Taxonomies for the development and verification of digital systems

Saved in:
Bibliographic Details
Group Author: Bailey Brian; Martin Grant; Anderson Thomas 1950-
Published: Springer,
Publisher Address: New York
Publication Dates: c2005.
Literature type: Book
Language: English
Subjects:
Carrier Form: xx, 179 p.: ill. ; 25 cm.
ISBN: 0387240195 (hbk.)
9780387240190 (hbk.)
0387240217 (e-ISBN)
9780387240213 (e-ISBN)
Index Number: TN431
CLC: TN431.207
TN431.2
TN790.7
Call Number: TN431.2/T235
Contents: Includes bibliographical references (p. [169]-171) and index.