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

Auteur(s) : Back, Ralph-Johan  Voir les notices liées en tant qu'auteur
Wright, Joakim von  Voir les notices liées en tant qu'auteur

Titre(s) : Refinement calculus [Texte imprimé] : a systematic introduction / Ralph-Johan Back, Joakim von Wright

Publication : New York ; Berlin ; Heidelberg : Springer, cop. 1998

Description matérielle : XV-519 p. : ill. ; 24 cm

Collection : Graduate texts in computer science

Lien à la collection : Graduate texts in computer science (New York)  Voir toutes les notices liées

Note(s) : Bibliogr. p. 501-508. Index

Sujet(s) : Ordinateurs -- Programmation  Voir les notices liées en tant que sujet
Logique informatique  Voir les notices liées en tant que sujet
Calcul infinitésimal  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 ; 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 0-387-98417-8 (rel.)

Identifiant de la notice  : ark:/12148/cb375493183

Notice n° :  FRBNF37549318