この商品を友人に教える:
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling - Handbook of Logic in Computer Science S. Abramsky
価格
¥ 90.679
税抜
遠隔倉庫からの取り寄せ
発送予定日 年12月1日 - 年12月17日
クリスマスプレゼントは1月31日まで返品可能です
S. Abramsky の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling - Handbook of Logic in Computer Science
S. Abramsky
This handbook covers fundamental topics of semantic modelling in logic and computation. The chapters (some monographic in length), were written following years of coordination and follow a thematic point of view. This volume brings the reader up to front line research, and is indispensable to any serious worker in the area.
666 pages, line figures
| メディア | 書籍 Hardcover Book (ハードカバー付きの本) |
| リリース済み | 1995年5月4日 |
| ISBN13 | 9780198537809 |
| 出版社 | Oxford University Press |
| ページ数 | 666 |
| 寸法 | 161 × 241 × 40 mm · 1,12 kg |
| 言語 | 英語 |
| 編集者 | Abramsky, S. (Professor, Department of Computing, Professor, Department of Computing, Imperial College of Science, Technology and Medicine, University of London) |
| 編集者 | Gabbay, Dov M. (Professor of Computing Science, Department of Computing, Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine, University of London) |
| 編集者 | Maibaum, T. S. E. (Professor of Foundations of Software Engineering, Professor of Foundations of Software Engineering, Imperial College of Science, Technology and Medicine, University of London) |