Descripció: Applying formal methods :

Guardat en:

Dades bibliogràfiques
Autor corporatiu:	FORTE Workshops :Toledo, Spain
Altres autors:	García-Pelayo y Gross, Fernando (Director editorial), Nùñez, Manuel, 19..- (Director editorial), Maamar, Zakaria (Director editorial)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Col·lecció:	Lecture notes in computer science 3236
Matèries:	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 en línia:	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:	• 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

Descripció
Descripció de l’ítem:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
ISBN:	9783540302339 (PDF)
ISSN:	1611-3349
Accés:	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