>> Google Books
タイトル、所在を表示します

Predicate transformer semantics

フォーマット:
図書
責任表示:
Ernest G. Manes
言語:
英語
出版情報:
Cambridge ; New York, NY, USA : Cambridge University Press, 1992
形態:
223 p. ; 26 cm
著者名:
Manes, Ernest G., 1943- <DA00424164>  
シリーズ名:
Cambridge tracts in theoretical computer science ; 33 <BA01121831>
書誌ID:
BA19094375
ISBN:
9780521420365 [0521420369]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Predicate calculus and program semantics

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

Springer-Verlag
7 図書 Semantics of programming languages

Tennent, R. D.

Prentice Hall International
2 図書 Algebraic theories

Manes, Ernest G., 1943-

Springer-Verlag
8 図書 Semantics with applications : an appetizer

Nielson, Hanne Riis, 1954-, Nielson, Flemming, 1955-

Springer
3 図書 Formal syntax and semantics of Java

Alves-Foss, James, 1964-

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

Gunter, Carl A

MIT Press
4 図書 Control flow semantics

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

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

Winskel, Glynn

MIT Press
5 図書 Algebraic semantics of imperative programs

Goguen, Joseph, Malcolm, Grant

MIT Press
11 図書 Semantics of parallelism : non-interleaving representation of behaviour

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

Springer
6 図書 Programming language syntax and semantics

Watt, David A., 1946-, Thomas, Muffy

Prentice Hall
12 図書 MetaSoft primer : towards a metalanguage for applied denotational semantics

Blikle, Andrzej

Springer-Verlag