Narrow your search

Library

KU Leuven (1)

UCLouvain (1)

UGent (1)


Resource type

book (1)


Language

English (1)


Year
From To Submit

1990 (1)

Listing 1 - 1 of 1
Sort by
Formal VLSI specification and synthesis : proceedings of the IFIP WG 10.2/WG 10.5 International workshop on applied formal methods for correct VLSI design, Houthalen, Belgium, 13-16 November, 1989
Authors: ---
ISBN: 044488372X 9780444883728 Year: 1990 Volume: 1 Publisher: Amsterdam: North-Holland,

Listing 1 - 1 of 1
Sort by