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

Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules

種類:
図書
責任表示:
Wim H. Hesselink
出版情報:
Cambridge ; New York : Cambridge University Press, 1992
著者名:
Hesselink, Wim H. <DA07175192>  
シリーズ名:
Cambridge tracts in theoretical computer science ; 27 <BA01121831>
ISBN:
9780521404365 [0521404363]  CiNii Books  Calil
注記:
Bibliographical references: p. [217]-220
Includes index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 THE SEMANTICS OF PROGRAMMING LANGUAGES : AN ELEMENTARY INTRODUCTION USING STRUCTURAL OPERATIONAL SEMANTICS

HENNESSY, MATTHEW

JOHN WILEY & SONS
7 図書 Predicate transformer semantics

Manes, Ernest G., 1943-

Cambridge University Press
2 図書 Concurrency and parallelism, programming, networking, and security : Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, …

Asian Computing Science Conference, Jaffar, Joxan, Yap, Roland H.C.

Springer
8 図書 Deduction and declarative programming

Padawitz, Peter, 1953-

Cambridge University Press
3 図書 Semantics and logics of computation

Pitts, A. M, Dybjer, Peter

Cambridge University Press
9 図書 LOGICAL FOUNDATIONS OF FUNCTIONAL PROGRAMMING

<ED. BY> HUET, GERARD

ADDISON-WESLEY PUB.
4 図書 A PRACTICAL INTRODUCTION TO DENOTATIONAL SEMANTICS

ALLISON, LLOYD

CAMBRIDGE UNIV. PRESS
10 図書 THE AWK PROGRAMMING LANGUAGE

AHO, ALFRED V. <ET AL.>

ADDISON-WESLEY PUB.
5 図書 Logic programming

Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan)

Clarendon Press
11 図書 Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming

Maher, Michael, 1959-

MIT Press
6 図書 Concurrent programming

Snow, C. R.

Cambridge University Press
12 図書 Logic programming : proceedings of the eleventh International Conference on Logic Programming

Van Hentenryck, Pascal, International Conference on Logic Programming (11th)

MIT Press