Opis: Formal methods in computer-aided design :

Zapisane w:

Opis bibliograficzny
Korporacja:	International conference on Formal Methods in Computer-Aided Design :Austin, Tex. US
Kolejni autorzy:	Hu, Alan J. (Dyrektor wydawnictwa), Martin, Andrew K. (Dyrektor wydawnictwa)
Format:	Livre numérique
Język:	Anglais
Wydane:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Seria:	Lecture notes in computer science 3312
Hasła przedmiotowe:	Génie logiciel Conception assistée par ordinateur Informatique Intelligence artificielle Logique symbolique et mathématique Ordinateurs Ingénierie assistée par ordinateur Actes de congrès
Dostęp 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
Komentarz:	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, 5th international conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, proceedings, Alan J. Hu, Andrew K. Martin (Eds.), Berlin, Springer, 2004, 1 vol. (XI-444 p.), Lecture notes in computer science, 3-540-23738-0 • Formal Methods in Computer-Aided Design, Texte imprimé, 9783662207017

Opis
Deskrypcja:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
ISBN:	9783540304944 (PDF)
ISSN:	1611-3349
Ograniczenie dostępu:	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