عنوان
پدید آورنده
موضوع
رده
QA 76.6 .T83 1988
QA
76
.
6
.
T83
1988
کتابخانه
محل استقرار
Program correctness over abstract data types : with error-state semantics
Amsterdam:
North-Holland
1988
vii, 212 p
CWI monograph; 6
Bibliogaphy: p.206-212
ISBN: 0444703403
J. V. Tucker, J. I. Zucker
1
، Computer programming
، Abstract data types )Computer science(
QA
76
.
6
.
T83
1988
Tucker, John V., 2591-
AU
AU Zucker, Jeffrey I., 1942-
CO Centrum voor Wiskunde en Informatica )Amsterdam, Netherlands(
TI
