Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings

Author(s)

• TACAS
• European Conferences on Theory and Practice of Software
• Garavel, Hubert
• Hatcliff, John

Bibliographic Information

Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings

Hubert Garavel, John Hatcliff (eds.)

（Lecture notes in computer science, 2619）

Springer, c2003

Other Title

Tools and algorithms for the construction and analysis of systems : ETAPS 2003

Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 2003 : proceedings

Note

Includes bibliographical references and index

"ETAPS 2003 was the sixth instance of the European Joint Conferences on Theory and Practice of Software"--Foreword

Details

• NCID: BA61606238
• ISBN:
  • 3540008985
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; Tokyo
• Pages/Volumes: xvi, 604 p.
• Size: 24 cm
• Subject Headings:
  • LCSH : System design -- Congresses
  • LCSH : Computer software -- Development -- Congresses
• Parent Bibliography ID:
  • BA00009279