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
|