Mathematics of Program Construction
7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Dexter Kozen
Themen in »Mathematics of Program Construction«
D programming language Exception Java Reversible Computing correct software formal methods generic programming kleene algebra modeling predicative programming program analysis program construction program development program verification type theory
Stimmen zu »Mathematics of Program Construction«
Details
ISBN: 9783540277644
Verlag: Springer Berlin
Erscheinung: 21.09.2004