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

Auteur(s) : Tucker, John V. (1952-....)  Voir les notices liées en tant qu'auteur
Zucker, Jeffery I. (1942-....)  Voir les notices liées en tant qu'auteur

Titre(s) : Program correctness over abstract data types, with error-state semantics [Texte imprimé] / J.V. Tucker, J.I. Zucker

Publication : Amsterdam ; New York ; Oxford [etc.] : North-Holland, 1988

Description matérielle : VIII-212 p. ; 24 cm

Collection : CWI monographs ; 6

Lien à la collection : CWI Monographs  Voir toutes les notices liées

Note(s) : Bibliography: p. 206-212

Sujet(s) : Génie logiciel  Voir les notices liées en tant que sujet
Types abstraits de données (informatique)  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.12 (23e éd.) = Analyse et conception des systèmes de logiciels (informatique)  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 0444703403

Identifiant de la notice  : ark:/12148/cb37358856n

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