Formal VLSI specification and synthesis. VLSI design methods. Vol. I : Proceedings of the IFIP WG 10.2/WG 10.5 internat. workshop on applied formal methods for correct VLSI design, Houthalen, Belgium, 13 - 16 Nov., 1989 /

Saved in:
Bibliographic Details
Main Author: Claesen, Luc J. M.
Corporate Author: Proceedings of the IFIP WG 10.2/WG 10.5 internat. workshop on applied formal methods for correct VLSI design Belgium, Houthalen
Format: Conference Proceeding Book
Language:English
Published: Amsterdam : North-Holland Publishing, 1990
Edition:[1st ed.]
Subjects:
počítačové navrhovanie > veľmi vysoká integrácia > model formálneho jazyka
ISBN:044488372X
Online Access: Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Login for hold and recall information

Internet

Get full text

CVTI sklad absenčný

Holdings details from CVTI sklad absenčný
Call Number: A553123
Copy On Shelf

Similar Items