Formato normal Formato MARC Formato ISBD
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)
Tipo de documento Localização Cota Informação volume Estado Data de devolução Código de barras Reservas
Livro Biblioteca da UA
Piso 2 (Geral)
621.3.049G.38V.1 (Ver prateleira) 1 Disponível 69833
Livro Biblioteca da UA
Piso 2 (Geral)
621.3.049G.38V.2 (Ver prateleira) 2 Disponível 69834
Total de reservas 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

// //]]>