Handbook of Logic in Computer Science: Volume 4. Semantic Modelling - Handbook of Logic in Computer Science - S. Abramsky - 書籍 - Oxford University Press - 9780198537809 - 1995年5月4日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Handbook of Logic in Computer Science: Volume 4. Semantic Modelling - Handbook of Logic in Computer Science

価格
¥ 90.679
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月1日 - 年12月17日
クリスマスプレゼントは1月31日まで返品可能です
S. Abramsky の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加

まだ評価がありません

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)

S. Abramskyの他の作品を見る

同じ出版社からのその他の記事