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

Auteur(s) : Loeckx, Jacques (1931-....)  Voir les notices liées en tant qu'auteur
Sieber, Kurt  Voir les notices liées en tant qu'auteur

Titre(s) : The foundations of program verification [Texte imprimé] / Jacques Loeckx and Kurt Sieber ; in collab. with Ryan D. Stansifer

Édition : 2nd ed.

Publication : Stuttgart : Teubner, 1987

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

Collection : Wiley-Teubner series in computer science

Lien à la collection : Wiley-Teubner series in computer science  Voir toutes les notices liées

Note(s) : Bibliogr. p.222-226

Autre(s) auteur(s) : Stansifer, Ryan D.. Collaborateur  Voir les notices liées en tant qu'auteur

Sujet(s) : Génie logiciel  Voir les notices liées en tant que sujet
Vérification (épistémologie)  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.14 (23e éd.) = Programmation (informatique) - Vérification, tests, mesures, débogage  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 3-519-12101-8 (Teubner). - ISBN 0-471-91282-4 (Wiley) (rel.)

Identifiant de la notice  : ark:/12148/cb37482513w

Notice n° :  FRBNF37482513