On the synthesis of reliable programs

Bibliographische Detailangaben

1. Verfasser:	Pereira de Lucena, Carlos Jose (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	1975
Schlagworte:	Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!