MAP/i - Foundations of Computing

Option I: Program Semantics, Verification, and Construction

Search: ^r

Education/MapiFc Web Changed Changed by
RecommendedBooks 03 Nov 2008 - 22:21 - r3 NelmaMoreira?
Recommended Books 1. Samson Abramsky and Achim Jung. Domain theory. In Handbook of Logic in Computer Science (vol. 3): Semantic Structures, pages 1?168. Oxford ...
Found 1 topics.
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM