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

Author(s)

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

Bibliographic Information

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

Access to Electronic Resource 2 items

• 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

  

Note

Includes bibliographical references and index

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

Details

• NCID: BA51737400
• ISBN:
  • 3540418652
• LCCN: 01020737
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: xiv, 588 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.9.S88
• Subject Headings:
  • LCSH : System design -- Congresses
  • LCSH : Computer software -- Development -- Congresses
• Parent Bibliography ID:
  • BA00009279