m
     
MathOuvrage

H 0 Program correctness over abstract data types, with error-state semantics

Tucker, J.V. ; Zucker, J.I.

North-Holland

1988

viii, 212

28352

type abstrait ; théorie du calcul ; sémantique ; logique


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 28352 1022317 GALERIE

ISBN10 : 0-444-70340-3

Type de doc : M

Ville d'édition : Amsterdam

Langue ouvrage : eng

Collection : Cwi monograph

N° dans la collection : 6

Année du congres : 0

Class. informatique : D.3.3 ; F.3

Lien SUDOC : https://www.sudoc.fr/02054877X

Z