1
Udgivet 2008
Indholdsfortegnelse: ... Linear Constraints for Moding CLP( ) Programs -- On Polymorphic Recursion, Type Systems, and Abstract...
Få fuldtekst
Electronisk eBog
2
Udgivet 2007
Indholdsfortegnelse: ...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...
Få fuldtekst
Electronisk eBog