Normal view MARC view ISBD view
VLSI design methods : proceedings of the International Workshop on [...] / edited by Luc J. M. Claesen
Autor secundário: Claesen , Luc J. M.Autor Institucional (Principal): International Workshop on Applied Formal Methods for Correct VLSI Design, , Houthalen,, 1989Língua: Inglês.País: Holanda.ISBN: 0-444-88372-X ; 0-444-88688-5.Publicação: Amsterdam : North-Holland, 1990Descrição: 2 vol. : ilAssunto : Circuitos integrados -- Congressos, conferências, etc. // Design de circuitos -- Congressos, conferências, etc.Assunto: VLSI (Very-Large-Scale Integration) CDU: 621.3.04(063)
Item type Current location Call number Vol info Status Date due Barcode Item holds
Livro Biblioteca da UA
Piso 2 (Geral)
621.3.049G.38V.1 (Browse shelf) 1 Available 69833
Livro Biblioteca da UA
Piso 2 (Geral)
621.3.049G.38V.2 (Browse shelf) 2 Available 69834
Total holds: 0

Vol. 2: Formal VLSI correctness verification. - XV, 427 p. Vol. 1: Formal VLSI specification and synthesis. - XV, 414 p


© 2017 Universidade de Aveiro

Powered by Koha

// //]]>