この商品を友人に教える:
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 2014 edition
価格
Mex$ 982
税抜
遠隔倉庫からの取り寄せ
発送予定日 年12月5日 - 年12月17日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加
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
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 |