Practical formal methods for hardware design :: ISBN 3540620079 :: Springer 1997 :: OBNB, the Open British National Bibliography

Publication Data

Title Practical formal methods for hardware design
Contributors Carlos Delgado Kloos, Werner Damm, European Strategic Programme of Research and Development in Information Technology
Publisher Springer
Publication date 1997
Publication location Berlin
Language English

Topics

Digital integrated circuits :: Design and construction :: Methodology
Logic circuits :: Design and construction :: Methodology
Computer hardware description languages

Catalogue Data

OBNB ID GB9747117
ISBN 10 3540620079
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 621.392

ISBD

P1053 xiv, 293p.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Practical formal methods for hardware design. ISBN 3540620079. Published by Springer in 1997. Publication and catalogue information, links to buy online and reader comments.