Reserved Books for CS 812 - Programing Language Semantics - Spring 2008


References [1] Harold Abelson, Gerald Jay Sussman, and Julie Sussman. Structure and Interpretation of Computer Programs. MIT Press, Cambridge, Massachusetts, 1985. [2] Gregory R. Andrews. Concurrent Programming. Benjamin/Cummings, Redwood City, California, 1991. [3] Krzysztof R. Apt and E.-R. Olderog. Verification of Sequential and Concurrent Programs… (More)