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

Author(s)

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

Bibliographic Information

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

Printed Music

Note

Includes bibliographical references and index

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