H Program correctness over abstract data types, with error-state semantics
1988
viii, 212
28352
N° | 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