von F.L. Bauer E.W. Dijkstra S.L. Gerhart D. Gries M. Griffiths J. V. Guttag J. J. Horning S. S. Owicki C. Pair H. Partsch P. Pepper M. Wirsing H. Wössner
Preis unbekannt
F.L. Bauer
Programmierung (EDV) algorithm algorithms networks programming programming language semantics verification