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

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

Titre(s) : Program variables [Texte imprimé] : the core of mechanical reasoning about imperative programs / Viorel Preoteasa

Publication : Åbo : Åbo Akademi University, 2006

Description matérielle : 1 vol. (VI-124 p.) : ill. ; 25 cm

Collection : TUCS dissertations, ISSN 1239-1883 ; 79

Lien à la collection : TUCS dissertations  Voir toutes les notices liées

Note(s) : Bibliogr. p. 117-124
Ph. D : Åbo, Akademi University : 2006

Sujet(s) : Langages de programmation -- Sémantique  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.131 (23e éd.) = Logique symbolique (informatique)  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 952-12-1785-5 (br.)

Identifiant de la notice  : ark:/12148/cb44487278j

Notice n° :  FRBNF44487278