Correct hardware design and verification methods : IFIP WG10.5 advanced research working conference, CHARME '95, Frankfurt, Germany, October 1995 / Paolo E. Camurati, Hans Eveking

Auteur principal collectivité : IFIP WG10.5 working conference, 1995, AuteurAuteur secondaire : Camurati, Paolo E., Editeur scientifique • Eveking, Hans, Editeur scientifiqueType de document : Livre numériqueCollection : Lecture notes in computer science, 987Langue : anglais.Éditeur : Berlin : Springer, 1995ISBN: 9783540603856.ISSN: 0302-9743.Sujet MSC : 68-06, Proceedings, conferences, collections, etc. pertaining to computer science
68Q60, Computer science - Theory of computing, Specification and verificationEn-ligne : Springerlink
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.