Program Construction: International Summer School

Bibliographische Detailangaben

Hauptverfasser:	Bauer, F.L, Dijkstra, E. W, Broy, M, Gerhart, S. L, Gries, D, Griffiths, M, Guttag, J. V, Horning, J. J, Owicki, S. S, Pair, C
Format:	Buch
Sprache:	eng
Schlagworte:	Computer programming Computer programs-Verification Computer Science Programming Techniques
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!