-
1
Logic, language, and computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected P...
Baskı/Yayın Bilgisi 2011Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource -
2
Transitions and trees an introduction to structural operational semantics
Baskı/Yayın Bilgisi 2010Table of contents only
Kitap -
3
-
4
-
5
Programming language semantics imperative and object-oriented languages
Baskı/Yayın Bilgisi 1997Kitap -
6
Algebraic semantics of imperative programs
Baskı/Yayın Bilgisi 1996Click here to access thru EZproxy
Click here to access
Electronic Resource -
7
-
8
Formal syntax and semantics of programming languages a laboratory based approach
Baskı/Yayın Bilgisi 1995Kitap -
9
-
10