Descrizione: Formal methods in computer aided design :

Salvato in:

Dettagli Bibliografici
Ente Autore:	International conference on Formal Methods in Computer-Aided Design :Palo Alto, Calif.
Altri autori:	Windley, Phillip J., 1958- (Direttore editoriale), Gopalakrishnan, Ganesh (Direttore editoriale)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in computer science 1522
Soggetti:	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
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:	• 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

Descrizione
Descrizione del documento:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
ISBN:	9783540495192 (PDF)
ISSN:	1611-3349
Accesso:	Accès en ligne pour les établissements français bénéficiaires des licences nationales Accès soumis à abonnement pour tout autre établissement Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017