Correct hardware design and verification methods : IFIP WG10.5 advanced research working conference, CHARME ̕95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings /
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 .
3540603859
Artificial intelligence.
Inteligencia artificial.
Computer graphics.
Computación gráfica.
Database management.
3540603859
Artificial intelligence.
Inteligencia artificial.
Computer graphics.
Computación gráfica.
Database management.