Claesan, Luc J.M., ed.
Formal VLSI specification and synthesis : VLSI design methods 1 - Amsterdam Elsevier 1989 - 414 p.
vol.1
0-444-88372-X
INTERGRATED CIRCUITS, VLSI
COMPUTER AIDED DESIGN
621.3.049.771.14 / I6
Formal VLSI specification and synthesis : VLSI design methods 1 - Amsterdam Elsevier 1989 - 414 p.
vol.1
0-444-88372-X
INTERGRATED CIRCUITS, VLSI
COMPUTER AIDED DESIGN
621.3.049.771.14 / I6