Beholdninger: Automated technology for verification and analysis :

Enregistré dans:

Bibliografiske detaljer
Institution som forfatter:	International Symposium on Automated Technology on Verification and Analysis :Taipei, TW
Andre forfattere:	Wang, Farn (Directeur de la publication)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serier:	Lecture notes in computer science 3299
Fag:	Génie logiciel Conception assistée par ordinateur Informatique Langages de programmation Réseaux d'ordinateurs Théorèmes > Démonstration automatique Conception technique > Informatique Actes de congrès
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Automated technology for verification and analysis, second international conference, ATVA 2004, Taipei, Taiwan, ROC, october 31-november 3, 2004, proceedings, Farn Wang (ed.), Berlin, Springer, 2004, 1 vol. (XII-506 p.), Lecture notes in computer science, 3-540-23610-4 • Automated Technology for Verification and Analysis, Texte imprimé, 9783662191248