Tools and algorithms for the construction and analysis of systems : 7th International Conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

著者

• TACAS
• Margaria, Tiziana
• Yi, Wang
• European Conferences on Theory and Practice of Software

書誌事項

Tools and algorithms for the construction and analysis of systems : 7th International Conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

Tiziana Margaria, Wang Yi (eds.)

（Lecture notes in computer science, 2031）

Springer, c2001

電子リソースにアクセスする 全2件

• The military journals of two private soldiers, 1758-1775,

  1855

  HathiTrust

  

• The military journals of two private soldiers, 1758-1775, with numerous illustrative notes [by B. J. Lossing] to which is added, a supplement, containing official papers on the skirmishes at Lexington and Concord.

  1855

  HathiTrust

  

注記

Includes bibliographical references and index

"the fourth instance of the European Joint Conferences on Theory and Practice of Software"--Foreword

詳細情報

• NII書誌ID(NCID): BA51737400
• ISBN:
  • 3540418652
• LCCN: 01020737
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin
• ページ数/冊数: xiv, 588 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.9.S88
• 件名:
  • LCSH : System design -- Congresses
  • LCSH : Computer software -- Development -- Congresses
• 親書誌ID:
  • BA00009279