Mathematics of Program Construction
8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Tarmo Uustalu
Themen in »Mathematics of Program Construction«
Coq algorithm algorithmics algorithms correct software dynamic programming formal methods generic programming kleene algebra object oriented design program analysis program construction programming programming language semantics
Stimmen zu »Mathematics of Program Construction«
Details
ISBN: 9783540356318
Verlag: Springer Berlin
Erscheinung: 27.06.2006