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

Auteur(s) : Harel, David (1950-....)  Voir les notices liées en tant qu'auteur

Titre(s) : First-Order Dynamic Logic [Texte électronique] / edited by David Harel

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

Description matérielle : 1 online resource

Collection : Lecture Notes in Computer Science ; 68

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

Sujet(s) : Informatique  Voir les notices liées en tant que sujet
Programmation (informatique)  Voir les notices liées en tant que sujet
Logique mathématique  Voir les notices liées en tant que sujet
Théorie de la récursivité  Voir les notices liées en tant que sujet

Indice(s) Dewey :  004 (23e éd.) = Informatique  Voir les notices liées en tant que sujet ; 519.7 (23e éd.) = Programmation (mathématiques)  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783540353461

Identifiant de la notice  : ark:/12148/cb44686964w

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