Dynamic interpretation and Hoare deduction

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Eijck, Jan van 1951- (VerfasserIn), Vries, Fer-Jan de (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Amsterdam 1991
Schriftenreihe:	Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 91,15
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge