>> Google Books
所蔵情報QRコード

The formal semantics of programming languages : an introduction / Glynn Winskel

資料種別:
図書
出版情報:
Cambridge, Mass. : MIT Press, c1993
形態:
xviii, 361 p. ; 24 cm
シリーズ名:
MIT Press series in the foundations of computing <BA0001568X>
著者名:
Winskel, Glynn <DA01053272>  
ISBN:
9780262731034 [0262731037] (: pbk)
書誌ID:
BA19992858
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

Watt, David Anthony, 1946-, Thomas, Muffy

Prentice Hall

Allison, Lloyd

Cambridge University Press

Milne, Robert, 1948-, Strachey, Christopher

Chapman and Hall, Wiley : Distributed in the U.S.A. by Halsted Press

Lee, John A. N.

Van Nostrand Reinhold

Meyer, Bertrand, 1950-

Prentice Hall

Organick, Elliott Irving, 1925-, Forsythe, Alexandra I., Plummer, Robert P.

Academic Press

Spaccapietra, S.

Springer

Alves-Foss, James, 1964-

Springer

Spaccapietra, S., Aberer, Karl, Cudré-Mauroux, Philippe

Springer

Dijkstra, Edsger Wybe, 1930-, Scholten, Carel S.

Springer-Verlag

International Colloquium on Automata, Languages and Programming, European Association for Theoretical Computer Science, …

Springer

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12