Mathematics of Program Construction
10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Claude Bolduc
Themen in »Mathematics of Program Construction«
CSP automated program construction automated program verification correct software correctness dynamic programming formal methods garbage collection generic programming kleene algebra predicative programming process algebras process semantics programming programming language
Stimmen zu »Mathematics of Program Construction«
Details
ISBN: 9783642133206
Verlag: Springer Berlin
Erscheinung: 01.06.2010