Tests and Proofs: 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings - Lecture Notes in Computer Science - Martina Seidl - 書籍 - Springer International Publishing AG - 9783319090986 - 2014年8月4日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Tests and Proofs: 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings - Lecture Notes in Computer Science 2014 edition

価格
Mex$ 982
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月5日 - 年12月17日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加

This book constitutes the refereed proceedings of the 8th International Conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as part of the STAF 2014 Federated Conferences. The 10 revised full papers and 4 short papers presented together with two tutorial descriptions were carefully reviewed and selected from 27 submissions.


226 pages, 76 black & white illustrations, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2014年8月4日
ISBN13 9783319090986
出版社 Springer International Publishing AG
ページ数 214
寸法 155 × 235 × 12 mm   ·   326 g
言語 ドイツ語  
編集者 Seidl, Martina
編集者 Tillmann, Nikolai

すべて表示

Martina Seidlの他の作品を見る