Mathematics of Program Construction
6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Eerke A. Boiten
Themen in »Mathematics of Program Construction«
D programming language Haskell Variable algorithms computer science language program transformation programming programming language semantics verification
Stimmen zu »Mathematics of Program Construction«
Details
ISBN: 9783540438571
Verlag: Springer Berlin
Erscheinung: 26.06.2002