Program correctness over abstract data types, with error-state semantics
J. V. Tucker, J. I. Zucker
Bok Engelsk 1988 J.V. Tucker
| Utgitt | Amsterdam : North-Holland , 1988
|
|---|---|
| Omfang | viii, 212 s.
|
| Emner | Abstract data types (Computer science)
Electronic digital computers - Programming programverifikasjon matematisk teori |
| ISBN | 0444703403
|
