Normal view MARC view ISBD view
Formal methods for VSLI design : proceedings of the International Summer School [...] / edited by Jorgen Staunstrup
Autor secundário: Staunstrup , JorgenAutor Institucional (Principal): International Summer School on Formal Methods for VLSI Design, , 1990Língua: Inglês.País: Holanda.ISBN: 0-444-88858-6.Publicação: Amsterdam : North-Holland, 1990Descrição: 329 p.Assunto : Circuitos integrados // Design de circuitosAssunto: VLSI (Very-Large-Scale Integration) CDU: 621.3.049.77(063)
Item type Current location Call number Vol info Status Date due Barcode Item holds
Livro Biblioteca da UA
Piso 2 (Geral)
621.3G.108 (Browse shelf) 1 Available 69778
Total holds: 0


© 2017 Universidade de Aveiro

Powered by Koha

// //]]>