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

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

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Tucker, John V. (VerfasserIn)
Weitere Verfasser: Zucker, Jeffrey I. (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Amsterdam u.a. North-Holland 1988
Schriftenreihe:CWI monographs 6
Schlagworte:
Abstract data types (Computer science) > Computer programming > Programmverifikation > Theorie > Abstrakter Datentyp > Softwarespezifikation
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:VIII, 212 S.
ISBN:0444703403
0-444-70340-3