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

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Tucker, John V. (VerfasserIn)
Weitere Verfasser:	Zucker, Jeffery I. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam u.a. North-Holland u.a. 1988
Schriftenreihe:	CWI monographs 6
Schlagworte:	Softwarespezifikation > Programmverifikation > Mathematisches Modell > Abstrakter Datentyp
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	VII, 212 S. : graph. Darst.
ISBN:	0444703403