Unifying Theories of Programming: Difference between revisions

Revision as of 18:52, 6 May 2008

Revision as of 06:30, 30 June 2008

Line 5:

== External links ==

* [http://citeseer.ist.psu.edu/context/535366/0 Citations] listed by [[CiteSeer]]

* [http://www.cs.york.ac.uk/admit/Modules/utp.html Course] based on this book at the [[University of York]]

* [http://web.comlab.ox.ac.uk/oucl/research/areas/concurrency/research/unify/ Unifying Theories of Programming Languages] research at the [[Oxford University Computing Laboratory]]

{{compu-book-stub}}

[[Category:1998 books]]

[[Category:Computer science books]]