Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : Gurevich, Yuri  Voir les notices liées en tant qu'auteur

Titre(s) : Abstract State Machines - Theory and Applications [Texte électronique] : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19-24, 2000 Proceedings / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele

Publication : Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg : Springer e-books, 2000

Description matérielle : 1 online resource

Collection : Lecture Notes in Computer Science ; 1912

Note(s) : L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques

Autre(s) auteur(s) : Kutter, Philipp W.. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Odersky, Martin. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Thiele, Lothar. Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : Génie logiciel  Voir les notices liées en tant que sujet
Informatique  Voir les notices liées en tant que sujet
Langages de programmation  Voir les notices liées en tant que sujet
Théorie des automates mathématiques  Voir les notices liées en tant que sujet
Logique mathématique  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.101 5113 (23e éd.) = Développement de logiciels - Logique mathématique  Voir les notices liées en tant que sujet ; 511.3 (23e éd.) = Logique mathématique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783540445180

Identifiant de la notice  : ark:/12148/cb446900614

Notice n° :  FRBNF44690061 (notice reprise d'un réservoir extérieur)