Operation refinement proofs for VDM-like specifications

Zugl.: Kiel, Univ., Diss., 1995

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Buth, Bettina (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Kiel Inst. für Informatik und Praktische Math. 1995
Schriftenreihe:	Institut für Informatik und Praktische Mathematik <Kiel>: Bericht 9501
Schlagworte:	Programm > VDM > Softwarespezifikation > Korrektheit > Hochschulschrift
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!