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

Auteur(s) : Gordon, Michael J. C. (1948-....)  Voir les notices liées en tant qu'auteur
Milner, Arthur J.  Voir les notices liées en tant qu'auteur
Wadsworth, Christopher P.  Voir les notices liées en tant qu'auteur

Titre(s) : Edinburgh LCF [Texte électronique] : a Mechanised Logic of Computation / by Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth

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

Description matérielle : 1 online resource

Collection : Lecture Notes in Computer Science ; 78

Lien à la collection : Lecture notes in computer science (Internet)  Voir toutes les notices liées

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
Fonctions calculables -- Informatique  Voir les notices liées en tant que sujet
Edinburgh LCF (système informatique)  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

Identifiants, prix et caractéristiques : ISBN 9783540385264

Identifiant de la notice  : ark:/12148/cb446887148

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