Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers - Lecture Notes in Computer Science - Robert M Hierons - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540789161 - 2008年4月8日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Robert M Hierons
Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers - Lecture Notes in Computer Science 2008 edition

価格
¥ 8.604
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月12日 - 年10月22日
Robert M Hierons の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network, established under UK EPSRC funding to investigate the relationships between formal (and semi-formal) methods and software testing.

388 pages, 1, black & white illustrations

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2008年4月8日
ISBN13 9783540789161
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 370
寸法 235 × 157 × 27 mm   ·   566 g
言語 フランス語  
編集者 Bowen, Jonathan P.
編集者 Harman, Mark
編集者 Hierons, Robert M.

同じ出版社からのその他の記事

Robert M Hieronsのすべてを見る