Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings

CHARME 99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the design and veri?cation of hardware and systems. Previous conferences have been held in Darmstadt (1984), Edinburgh (1985), Grenoble (1986), Glasgow (1988),...

Descrizione completa

Dettagli Bibliografici

Ente Autore:	Advanced Research Working Conference on Correct Hardware-like Design and Verification Methods :1999
Altri autori:	Pierre, Laurence, 19..-...., auteur en informatique (Direttore editoriale), Kropf, Thomas, 1961- (Direttore editoriale)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in computer science 1703
Soggetti:	Génie logiciel Conception assistée par ordinateur Informatique Circuits intégrés Circuits intégrés à très grande échelle Logique symbolique et mathématique Essais Ordinateurs Actes de congrès
Accesso online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Correct hardware design and verification methods, 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, proceedings, Laurence Pierre, Thomas Kropf (eds.), 1999, Berlin, Springer, 1 vol. (XI-366 p.), Lecture notes in computer science, 3-540-66559-5 • Correct Hardware Design and Verification Methods, Texte imprimé, 9783662197691