Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Auteur(s) : Gergely, Tamás (19..-.... ; informaticien)  Voir les notices liées en tant qu'auteur
Úry, Laszlo  Voir les notices liées en tant qu'auteur

Titre(s) : First-order programming theories [Texte imprimé] / Tamás Gerlery and Laszlo Ury

Publication : Berlin : Springer Verlag, 1991

Description matérielle : 351 p. ; 25 cm

Collection : Monographs in theoretical computer science ; 24

Lien à la collection : Monographs in theoretical computer science  Voir toutes les notices liées

Sujet(s) : Programmation (informatique)  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.101 (23e éd.) = Développement de logiciels - Philosophie et théorie  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 3-540-54277-9 (rel.)

Identifiant de la notice  : ark:/12148/cb37549322b

Notice n° :  FRBNF37549322