Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings - Lecture Notes in Computer Science - Jasmin Christian Blanchette - 書籍 - Springer International Publishing AG - 9783319212142 - 2015年7月1日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Jasmin Christian Blanchette
Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings - Lecture Notes in Computer Science 2015 edition

価格
¥ 8.411
税抜

遠隔倉庫からの取り寄せ

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

お客様の声：

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

This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions.

209 pages, 57 black & white illustrations, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2015年7月1日
ISBN13 9783319212142
出版社 Springer International Publishing AG
ページ数 209
寸法 155 × 235 × 12 mm   ·   3,58 kg
言語 フランス語  
編集者 Blanchette, Jasmin Christian
編集者 Kosmatov, Nikolai

Jasmin Christian Blanchetteのすべてを見る ( 例： Paperback Book )