Log in to your account
Formal hardware verification : methods and systems in comparison / ed. Thomas Kropf
Formal hardware verification : methods and systems in comparison / ed. Thomas Kropf . - Berlin : Springer-Verlag, cop. 1997 . - XII, 367 p. : il. 24 cm . - (Lecture notes in computer science; 1287))
3-540-63475-4 (Brochado)
681.3
Formal hardware verification : methods and systems in comparison / ed. Thomas Kropf . - Berlin : Springer-Verlag, cop. 1997 . - XII, 367 p. : il. 24 cm . - (Lecture notes in computer science; 1287))
3-540-63475-4 (Brochado)
681.3
Exporting to Dublin Core...
Bibliotecas Libraries
Serviços Services
Contactos gerais Contacts
- Serviço de Documentação e Bibliotecas
- Campus de Gualtar, Edifício 04
- 4710-057 Braga
- +351 253 604 150
- usdb@usdb.uminho.pt
- http://www.sdum.uminho.pt
- Serviço de Documentação e Bibliotecas
- Campus de Gualtar, Edifício 04
- 4710-057 Braga
- +351 253 604 150
- usdb@usdb.uminho.pt
