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

RecordNumber :

23809

LC Class :

LC Number :

76.6

LC CutterNumber :

.T83

Dewey Class :

005

Author :

Title :

Author Statement :

J.V. Tucker, J.I. Zucker

Publication :

North-Holland

Publication Year :

1988

Collation :

viii, 212 p.; 24 cm

Series :

CWI monograph ; 6

Subject :

ADDED ENTRIES :

Zucker, J. I. (Jeffrey I.), 1942-

Holding Info. :

0444703403

DocumentNumber :

24367

Biblography :

Bibliography: p. 206-212

BL :

Link To Document :