Tools and algorithms for the construction and analysis of systems : 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings

著者

• TACAS
• Ramakrishnan, C. R.
• Rehof, Jakob
• European Conferences on Theory and Practice of Software

書誌事項

Tools and algorithms for the construction and analysis of systems : 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings

C.R. Ramakrishnan, Jakob Rehof (eds.)

（Lecture notes in computer science, 4963）

Springer, c2008

楽譜（印刷）

注記

Includes bibliographical references and index

• NII書誌ID(NCID): BA85881394
• ISBN:
  • 9783540787990
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin
• ページ数/冊数: xvi, 518 p.
• 大きさ: 24 cm
• 件名:
  • LCSH : System design -- Congresses
  • LCSH : System analysis -- Congresses
  • LCSH : Computer software -- Development -- Congresses
• 親書誌ID:
  • BA00009279