Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas '98, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceeding - J Van Leeuwen - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540643562 - 1998年3月18日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

J Van Leeuwen
Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas '98, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceeding

価格
$ 55,99
税抜

遠隔倉庫からの取り寄せ

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

お客様の声：

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

Taken from TACAS'98, this volume is devoted to conceptual foundations, development, and applications of tools and algorithms for the specification, verification, analysis, and construction of software and hardware systems.

461 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1998年3月18日
ISBN13 9783540643562
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 461
寸法 155 × 233 × 24 mm   ·   675 g
言語 ドイツ語  
編集者 Steffen, Bernhard
すべて表示

J Van Leeuwenの他の作品を見る

J Van Leeuwenのすべてを見る ( 例： Paperback Book )