Verified Software : theories, tools, experiments : first IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : revised selected papers and discussions

CiNii 所蔵館 4館

書誌事項

タイトル
"Verified Software : theories, tools, experiments : first IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : revised selected papers and discussions"
責任表示
Bertrand Meyer, Jim Woodcock (eds.)
出版者
  • Springer
出版年月
  • c2008
書籍サイズ
24 cm

この図書・雑誌をさがす

注記

"State-of-the-art-survey"--Cover

"ifip"--Cover

Includes bibliographical references and index

関連図書・雑誌

もっと見る

詳細情報 詳細情報について

ページトップへ