Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings - Programming and Software Engineering - Franck Cassez - 書籍 - Springer International Publishing AG - 9783319119359 - 2014年9月29日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Franck Cassez
Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings - Programming and Software Engineering 2014 edition

価格
S$ 72
税抜

遠隔倉庫からの取り寄せ

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

お客様の声：

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

This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014. The 29 revised papers presented in this volume were carefully reviewed and selected from 76 submissions.

430 pages, 109 black & white illustrations, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2014年9月29日
ISBN13 9783319119359
出版社 Springer International Publishing AG
ページ数 430
寸法 155 × 235 × 23 mm   ·   635 g
言語 フランス語  
編集者 Cassez, Franck
編集者 Raskin, Jean-Francois
すべて表示

Franck Cassezの他の作品を見る

Franck Cassezのすべてを見る ( 例： Paperback Book )