Taxonomies for the development and verification of digital systems

Saved in:
Bibliographic Details
Group Author: Bailey Brian.; Anderson Thomas, 1950-; Martin Grant
Published: Springer,
Publisher Address: New York
Publication Dates: 2005.
Literature type: Book
Language: English
Subjects:
Online Access: http://dx.doi.org/10.1007/b104217
Carrier Form: xx, 179 p.: ill. ; 25 cm.
ISBN: 0387240217 (electronic bk.)
9780387240213 (electronic bk.)
Index Number: TN431
CLC: TN431.2
Contents: Includes bibliographical references (p. [169]-171) and index.