Enlarge

Formal methods for VLSI design

Publication Data

Title Formal methods for VLSI design
Contributor Jørgen Staunstrup
Publisher North-Holland
Publication date 1990
Language English

Topics

Integrated circuits :: Very large scale integration :: Computer-aided design
England

Catalogue Data

OBNB ID GB9121636
ISBN 10 0444888586
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 621.395

ISBD

P1053 329p.

Buy a copy

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

Formal methods for VLSI design. ISBN 0444888586. Published by North-Holland in 1990. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.