Zaloga: Formal methods in computer aided design :

Shranjeno v:

Bibliografske podrobnosti
Korporativna značnica:	International conference on Formal Methods in Computer-Aided Design :Palo Alto, Calif.
Drugi avtorji:	Windley, Phillip J., 1958- (Directeur de la publication), Gopalakrishnan, Ganesh (Directeur de la publication)
Format:	Livre numérique
Jezik:	Anglais
Izdano:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serija:	Lecture notes in computer science 1522
Teme:	Conception assistée par ordinateur Informatique Circuits intégrés Génie logiciel Logique symbolique et mathématique Théorèmes > Démonstration automatique Ordinateurs Circuits intégrés numériques > Conception technique -- Informatique Actes de congrès
Online dostop:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Sporočilo:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Formal methods in computer aided design, second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, proceedings, Ganesh Gopalakrishnan, Phillip Windley, eds, 1998, New York, Springer, 1 vol. (X-538 p.), Lecture notes in computer science, 3-540-65191-8 • Formal Methods in Computer-Aided Design, Texte imprimé, 9783662204689