Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, Tacas 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings - S Graf - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540672821 - 2000年3月15日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

S Graf

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, Tacas 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

価格
$ 106,99
税抜

遠隔倉庫からの取り寄せ

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

552 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2000年3月15日
ISBN13 9783540672821
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 552
寸法 155 × 233 × 29 mm   ·   1,31 kg
言語 ドイツ語