Correct hardware design and verification methods : IFIP WG10.2 advanced research working conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993 / George J. Milne, Laurence Pierre

Auteur principal collectivité : IFIP WG 10.2 working conference, 1993, AuteurAuteur secondaire : Milne, George J., 1952-, Editeur scientifique • Pierre, Laurence, Editeur scientifiqueType de document : Livre numériqueCollection : Lecture notes in computer science, 683Langue : anglais.Éditeur : Berlin, New York : Springer-Verlag, 1993ISBN: 9783540567783.ISSN: 0302-9743.Sujet MSC : 68-06, Proceedings, conferences, collections, etc. pertaining to computer scienceEn-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

Papers presented at the 'Advanced Research Working Conference on Correct HARdware Design MEthodologies' held in Arles (France), organized by the ESPRIT Working Group 6018 'CHARME-2' and the Université de Provence (Marseille), in cooperation with IFIP WG10.2

There are no comments on this title.

to post a comment.