Enlarge

Advances in formal design methods for CAD : proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995

Publication Data

Title Advances in formal design methods for CAD : proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995
Contributors John S. Gero, Fay Sudweeks, International Federation for Information Processing
Publisher Chapman & Hall, on behalf of the International Federation for Information Processing
Publication date 1996
Publication location London
Language English

Descriptive Notes

Includes index.

Topics

011962078

Catalogue Data

OBNB ID GB9627698
ISBN 10 0412727102
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 620.00420285

ISBD

P1053 vi,298p.

Buy a copy

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

Advances in formal design methods for CAD : proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995. ISBN 0412727102. Published by Chapman & Hall, on behalf of the International Federation for Information Processing in 1996. Publication and catalogue information, links to buy online and reader comments.