Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop - - 書籍 - Imperial College Press - 9781860940316 - 1996年11月1日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop

価格
¥ 23.655
税抜

遠隔倉庫からの取り寄せ

発送予定日 年11月17日 - 年12月3日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

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

まだ評価がありません

Contains the proceedings of the third workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London. It covers various topics in theoretical computer science, including formal specification, theorem proving, and operational and denotational semantics.

340 pages

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 1996年11月1日
ISBN13 9781860940316
出版社 Imperial College Press
ページ数 330
寸法 150 × 220 × 20 mm   ·   784 g
言語 英語  
編集者 Edalat, Abbas (Imperial College, Uk)
編集者 Jourdan, S (Imperial College, Uk)
編集者 Mccusker, G (Imperial College, Uk)

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