Descrizione: Abstract state machines 2004 : ; proceedings

Salvato in:

Dettagli Bibliografici
Ente Autore:	Abstract state machines workshop :Lutherstadt Wittenberg, DE
Altri autori:	Zimmermann, Wolf (Direttore editoriale), Thalheim, Bernhard, 1952- (Direttore editoriale)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in computer science 3052
Soggetti:	Génie logiciel Informatique Langages de programmation Automates mathématiques, Théorie des Logique symbolique et mathématique 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:	• Abstract state machines 2004, advances in theory and practice, 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004, Wolf Zimmermann, Bernhard Thalheim (eds.), Berlin, Springer, 2004, 1 vol. (XII-233 p.), Lecture notes in computer science, 3-540-22094-1 • Abstract State Machines 2004. Advances in Theory and Practice, Texte imprimé, 9783662189214

Descrizione
Descrizione del documento:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
ISBN:	9783540247739 (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