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)
9780387112107 [0387112103] (: us) - 注記:
- Bibliography: p. 291-298
Includes index
類似資料:
Springer-Verlag |
Center for the Study of Language and Information |
Springer Berlin Heidelberg : Imprint: Springer |
Birkhäuser |
Springer-Verlag |
Springer-Verlag |
Cambridge University Press |
Springer-Verlag |
North-Holland |
MIT Press |
North-Holland Pub. Co, sole distributors for the U.S.A. and Canada, Elsevier North-Holland |
Prentice Hall International |