Stanford PASCAL verifier user manual

Bibliographische Detailangaben

Körperschaft:	Stanford University Stanford Verification Group (BerichterstatterIn)
Weitere Verfasser:	Luckham, D. C. (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Stanford, Calif. Computer Science Dep., Univ. 1980
Ausgabe:	1. ed., 2. print.
Schriftenreihe:	Report / Stanford Verification Group 11 Report / Computer Science Department 731
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!