Lucid - a formal system for writing and proving programs

Bibliographische Detailangaben

1. Verfasser:	Ashcroft, E. A. (VerfasserIn)
Weitere Verfasser:	Wadge, W. W. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Coventry Dep. of Computer Science, Univ. 1976
Schriftenreihe:	Theory of computation report 4
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!