Description: Abstract state machines 2004 : ; proceedings

Enregistré dans:

Détails bibliographiques
Collectivité auteur:	Abstract state machines workshop :Lutherstadt Wittenberg, DE
Autres auteurs:	Zimmermann, Wolf (Directeur de la publication), Thalheim, Bernhard, 1952- (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 3052
Sujets:	Génie logiciel Informatique Langages de programmation Automates mathématiques, Théorie des Logique symbolique et mathématique Actes de congrès
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	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

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