The correctness problem in computer science

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Boyer, Robert S. (BerichterstatterIn), Moore, J. Strother (BerichterstatterIn)
Format:	UnknownFormat
Veröffentlicht:	London u.a. Acad. Pr. 1981
Schriftenreihe:	(International lecture series in computer science)
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Literaturangaben
Beschreibung:	XIII, 279 S.