>> Amazon.co.jp
このページのQRコード

MetaSoft primer : towards a metalanguage for applied denotational semantics

種類:
図書
責任表示:
Andrzej Blikle
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1987
著者名:
Blikle, Andrzej <DA01956486>  
シリーズ名:
Lecture notes in computer science ; 288 <BA00009279>
ISBN:
9783540186571 [3540186573] (: gw)  CiNii Books  Calil
9780387186573 [0387186573] (: us)  CiNii Books  Calil
注記:
Bibliography: p. [136]-140
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料
1. MetaSoft Primer : Towards a Metalanguage for Applied Denotational Semantics
by Andrzej Blikle , Springer-Verlag , 1987

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック MetaSoft Primer : Towards a Metalanguage for Applied Denotational Semantics

Blikle, Andrzej, SpringerLink (Online service)

Springer-Verlag
7 図書 Control flow semantics

Bakker, Jacobus Willem de, 1939-, Vink, Erik de

MIT Press
2 電子ブック 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., &hellip;

Springer Berlin Heidelberg : Imprint: Springer
8 図書 Algebraic semantics of imperative programs

Goguen, Joseph, Malcolm, Grant

MIT Press
3 図書 Denotational semantics : the Scott-Strachey approach to programming language theory

Stoy, Joseph

MIT Press
9 図書 Predicate transformer semantics

Manes, Ernest G., 1943-

Cambridge University Press
4 図書 Towards a formal description of Ada

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

Springer-Verlag
10 図書 Semantics of programming languages

Tennent, R. D.

Prentice Hall International
5 図書 Formal syntax and semantics of Java

Alves-Foss, James, 1964-

Springer
11 図書 Semantics of programming languages : structures and techniques

Gunter, Carl A

MIT Press
6 図書 Algebraic approaches to program semantics

Manes, Ernest G., 1943-, Arbib, Michael A.

Springer-Verlag
12 図書 The formal semantics of programming languages : an introduction

Winskel, Glynn

MIT Press