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

Axiomatising the logic of computer programming

種類:
図書
責任表示:
Robert Goldblatt
出版情報:
Berlin ; New York : Springer-Verlag, 1982
著者名:
Goldblatt, Robert, 1949- <DA01191414>  
シリーズ名:
Lecture notes in computer science ; 130 <BA00009279>
ISBN:
9783540112105 [3540112103] (: gw)  CiNii Books  Calil
9780387112107 [0387112103] (: us)  CiNii Books  Calil
注記:
Bibliography: p. 291-298
Includes index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Axiomatising the Logic of Computer Programming

Goldblatt, Robert, SpringerLink (Online service)

Springer-Verlag
7 図書 Logics of time and computation

Goldblatt, Robert, 1949-

Center for the Study of Language and Information
2 電子ブック Axiomatising the Logic of Computer Programming

Goldblatt, R., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 Logic of domains

Zhang, Guo-Qiang, 1960-

Birkhäuser
3 図書 Foundations of logic programming

Lloyd, J. W. (John Wylie), 1947-

Springer-Verlag
9 図書 The logic of partial information

Nait Abdallah, Areski, 1950-

Springer-Verlag
4 図書 The logic of provability

Boolos, George

Cambridge University Press
10 図書 Algebraic approaches to program semantics

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

Springer-Verlag
5 図書 Topoi : the categorial analysis of logic

Goldblatt, Robert, 1949-

North-Holland
11 図書 Algebraic semantics of imperative programs

Goguen, Joseph, Malcolm, Grant

MIT Press
6 図書 Topoi : the categorial analysis of logic

Goldblatt, Robert, 1949-

North-Holland Pub. Co, sole distributors for the U.S.A. and Canada, Elsevier North-Holland
12 図書 Semantics of programming languages

Tennent, R. D.

Prentice Hall International