close
1.

図書
図書
1. Formal syntax and semantics of Java
Jim Alves-Foss (ed.)
出版情報: Berlin ; New York : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1523
所蔵情報: loading…
2.

図書
図書
2. Comparative metric semantics of programming languages : nondeterminism and recursion (:us [hard])
Franck van Breugel
出版情報: Boston, Mass. : Birkhauser Boston, c1998
シリーズ名: Progress in theoretical computer science
所蔵情報: loading…
3.

図書
図書
3. Syntax-directed semantics : formal models based on tree transducers
Zoltán Fülöp, Heiko Vogler
出版情報: Berlin : Springer, c1998
シリーズ名: Monographs in theoretical computer science : an EATCS series
所蔵情報: loading…
4.

図書
図書
4. Higher order operational techniques in semantics
edited by Andrew D. Gordon and Andrew M. Pitts
出版情報: New York : Cambridge University Press, c1998
シリーズ名: Publications of the Newton Institute ; 12
所蔵情報: loading…
5.

図書
図書
5. Control flow semantics
Jaco de Bakker and Erik de Vink
出版情報: Cambridge, Mass. : MIT Press, c1996
シリーズ名: Foundations of computing
所蔵情報: loading…
6.

図書
図書
6. Algebraic semantics of imperative programs
Joseph A. Goguen and Grant Malcolm
出版情報: Cambridge, Mass. : MIT Press, c1996
シリーズ名: Foundations of computing
所蔵情報: loading…
7.

図書
図書
7. The logic of partial information (: Berlin ; : New York)
Areski Nait Abdallah
出版情報: Berlin ; Tokyo : Springer-Verlag, c1995
シリーズ名: Monographs in theoretical computer science : an EATCS series
所蔵情報: loading…
8.

図書
図書
8. The formal semantics of programming languages : an introduction
Glynn Winskel
出版情報: Cambridge, Mass. : MIT Press, c1993
シリーズ名: Foundations of computing
所蔵情報: loading…
9.

図書
図書
9. Semantics of programming languages : structures and techniques
Carl A. Gunter
出版情報: Cambridge, Mass. : MIT Press, c1992
シリーズ名: Foundations of computing
所蔵情報: loading…
10.

図書
図書
10. Predicate transformer semantics
Ernest G. Manes
出版情報: Cambridge ; New York, NY, USA : Cambridge University Press, 1992
シリーズ名: Cambridge tracts in theoretical computer science ; 33
所蔵情報: loading…