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

Denotational semantics : the Scott-Strachey approach to programming language theory

種類:
図書
責任表示:
Joseph E. Stoy
出版情報:
Cambridge, Mass. : MIT Press, 1981, c1977
著者名:
Stoy, Joseph <DA01976916>  
シリーズ名:
MIT Press series in computer science ; 1 <BA00450361>
ISBN:
9780262690768 [0262690764] (: pbk)  CiNii Books  Calil
注記:
Bibliography: p. [394]-400
Includes index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Algebraic approaches to program semantics

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

Springer-Verlag
7 図書 Computer semantics; studies of algorithms, processors, and languages

Lee, John A. N.

Van Nostrand Reinhold
2 図書 Semantics of programming languages

Tennent, R. D.

Prentice Hall International
8 図書 Semantics of type theory : correctness, completeness, and independence results

Streicher, Thomas, 1958-

Birkhäuser
3 図書 Algebraic semantics of imperative programs

Goguen, Joseph, Malcolm, Grant

MIT Press
9 図書 Formal syntax and semantics of Java

Alves-Foss, James, 1964-

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

Gunter, Carl A

MIT Press
10 図書 Control flow semantics

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

MIT Press
5 図書 The formal semantics of programming languages : an introduction

Winskel, Glynn

MIT Press
11 図書 Predicate transformer semantics

Manes, Ernest G., 1943-

Cambridge University Press
6 図書 MetaSoft primer : towards a metalanguage for applied denotational semantics

Blikle, Andrzej

Springer-Verlag
12 図書 Semantics of parallelism : non-interleaving representation of behaviour

Shields, M. W. (Michael William), 1950-

Springer