English
Beginner
Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
Ralph-Johan Back (auth.),Andrew Butterfield (eds.)
2010
View book