Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures - Lecture Notes in Computer Science - Bertrand Meyer - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783642357459 - 2012年11月30日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Bertrand Meyer
Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures - Lecture Notes in Computer Science 2012 edition

価格
¥ 8.124
税抜

遠隔倉庫からの取り寄せ

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

お客様の声：

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

The summer school will focus on several of the most prominent and practical of such tools from different areas of software verification (such as formal proofs, testing and model checking). During the school the participants will not only learn the principles behind the tools, but also get hands-on experience, trying the tools on real programs.

190 pages, 31 black & white illustrations, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2012年11月30日
ISBN13 9783642357459
出版社 Springer-Verlag Berlin and Heidelberg Gm
ジャンル Aspects (Academic) > Science / Technology Aspects
ページ数 183
寸法 155 × 235 × 15 mm   ·   272 g
言語 ドイツ語  
編集者 Meyer, Bertrand
編集者 Nordio, Martin

Bertrand Meyerの他の作品を見る

すべて表示

Bertrand Meyerのすべてを見る ( 例： Paperback Book および Hardcover Book )