Three approaches to reliable software: language design, dyadic specification, complementary semantics

Bibliographische Detailangaben

Format:	Buch
Sprache:	English
Veröffentlicht:	Toronto 1974
Schriftenreihe:	University <Toronto> / Computer Systems Research Group: Technical report / CSRG 45
Schlagworte:	Datenverarbeitung Computer programs Electronic data processing Programming languages (Electronic computers)
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!