Vista normal Vista MARC Vista ISBD

Correct hardware design and verification methods : IFIP WG10.5 advanced research working conference, CHARME ̕95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings / ed. Paolo E. Camurati, Hans Eveking. - Berlin : Springer, 1995. - viii, 342 p. : il. ; 24 cm. - Lecture notes in computer science ; v. 987 LNCS ; v. 987 .

ISBN: 3540603859

Descriptores--Materias:
Artificial intelligence.
Inteligencia artificial.
Computer graphics.
Computación gráfica.
Database management.