First Page | Document Content | |
---|---|---|
![]() Date: 2009-06-12 12:01:20Automated theorem proving Programming paradigms Actor model PlanetLab Software testing Prolog Eval Logic programming Futures and promises Computing Software engineering Computer programming | Add to Reading List |