Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings - Lecture Notes in Computer Science - Egon Borger - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540876021 - 2008年9月8日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Egon Borger
Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings - Lecture Notes in Computer Science 2008 edition

価格
¥ 8.707
税抜

遠隔倉庫からの取り寄せ

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

お客様の声：

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

Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop.

394 pages, Illustrations

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2008年9月8日
ISBN13 9783540876021
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 384
寸法 155 × 235 × 25 mm   ·   612 g
言語 フランス語  
編集者 Boca, Paul
編集者 Boerger, Egon
編集者 Bowen, Jonathan P.
編集者 Butler, Michael
すべて表示

Egon Borgerの他の作品を見る

Egon Borgerのすべてを見る ( 例： Paperback Book , Book および Hardcover Book )