On the synthesis of reliable programs

Bibliographische Detailangaben

1. Verfasser:	Lucena, C. (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	1975
Schriftenreihe:	Reports / CALIFORNIA UNIV LOS ANGELES UCLA-ENG-7505 Reports / CALIFORNIA UNIV LOS ANGELES UCLA-34P214-9
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!