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 Bauer Program Construction

Program Construction

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

International Summer School

Preis unbekannt

Buch in deiner Nähe kaufen

oder

Beschreibung

Autor*in

F.L. Bauer

Themen in »Program Construction«

Programmierung (EDV) algorithm algorithms networks programming programming language semantics verification

Stimmen zu »Program Construction«

Details

ISBN: 9783540353126

Verlag: Springer Berlin

Erscheinung: 23.11.2005