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

MetaSoft primer : towards a metalanguage for applied denotational semantics / Andrzej Blikle

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1987
形態:
xii, 140 p. ; 25 cm
シリーズ名:
Lecture notes in computer science ; 288 <BA00009279>
著者名:
Blikle, Andrzej <DA01956486>  
ISBN:
9783540186571 [3540186573] (: gw)
9780387186573 [0387186573] (: us)
書誌ID:
BA01336769
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック MetaSoft Primer : Towards a Metalanguage for Applied Denotational Semantics

Blikle, Andrzej., Barstow, D., Brauer, W., Brinch Hansen, P., Gries, D., Luckham, D., Moler, C., Pnueli, A., …
7 図書 A theory of programming language semantics (Pt. A ; Pt. B)

Milne, Robert, 1948-, Strachey, Christopher

Chapman and Hall, Wiley : Distributed in the U.S.A. by Halsted Press
2 電子ブック MetaSoft Primer

Blikle

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
8 図書 Journal on data semantics V

Spaccapietra, S.

Springer
3 図書 A practical introduction to denotational semantics (: pbk)

Allison, Lloyd

Cambridge University Press
9 図書 Predicate calculus and program semantics (: us ; : gw)

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

Springer-Verlag
4 図書 Denotational semantics : the Scott-Strachey approach to programming language theory

Stoy, Joseph

MIT Press
10 図書 Towards a formal description of Ada (: gw ; : us)

Oest, O. N., Bjørner, D. (Dines), 1937-

Springer-Verlag
5 図書 Formal syntax and semantics of Java

Alves-Foss, James, 1964-

Springer
11 図書 Journal on data semantics VI : special issue on emergent semantics

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

Springer
6 図書 Programming language syntax and semantics (: pbk)

Watt, David Anthony, 1946-, Thomas, Muffy

Prentice Hall
12 図書 The formal semantics of programming languages : an introduction (: pbk)

Winskel, Glynn

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