होल्डिंग्स : Applying formal methods :

में बचाया:

ग्रंथसूची विवरण
निगमित लेखक:	FORTE Workshops :Toledo, Spain
अन्य लेखक:	García-Pelayo y Gross, Fernando (प्रकाशन निदेशक), Nùñez, Manuel, 19..- (प्रकाशन निदेशक), Maamar, Zakaria (प्रकाशन निदेशक)
स्वरूप:	Livre numérique
भाषा:	Anglais
प्रकाशित:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
श्रृंखला:	Lecture notes in computer science 3236
विषय:	Génie logiciel Informatique Réseaux d'ordinateurs Commerce électronique Systèmes informatiques > Pannes Structure logique Culture numérique Actes de congrès
ऑनलाइन पहुंच:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
टिप्पणी:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Applying Formal Methods, Testing, Performance, and M/E-Commerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, october 1-2, 2004, proceedings, Manuel N'uñez, Zakaria Maamar, Fernando L. Pelayo ... [et al.] (eds.), Berlin, Springer, 2004, 1 vol. (XI-379 p.), Lecture notes in computer science, 3-54023169-2 • Applying Formal Methods: Testing, Performance, and M/E-Commerce, Texte imprimé, 9783662164709