Theoretical Aspects of Computer Software: Third International Symposium, Tacs'97, Sendai, Japan, September 23 - 26, 1997, Proceedings - Lecture Notes in Computer Science - Martin Abadi - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540633884 - 1997年8月27日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Martin Abadi
Theoretical Aspects of Computer Software: Third International Symposium, Tacs'97, Sendai, Japan, September 23 - 26, 1997, Proceedings - Lecture Notes in Computer Science

価格
¥ 16.692
税抜

遠隔倉庫からの取り寄せ

発送予定日 2026年1月2日 - 2026年1月9日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

These proceedings from the Third International Symposium on Theoretical Aspects of Computer Software, TACS '97, address the following topics: action calculi; polymorphisms; type theory; lambda calculi; refinement; finite transition systems; model checking; and process algebras.

648 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1997年8月27日
ISBN13 9783540633884
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 648
寸法 156 × 234 × 33 mm   ·   911 g
言語 ドイツ語  
編集者 Abadi, Martin
編集者 Ito, T.

Martin Abadiの他の作品を見る

すべて表示

Martin Abadiのすべてを見る ( 例： Paperback Book および Hardcover Book )