Verified Software : theories, tools, experiments : first IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : revised selected papers and discussions

Author(s)

• VSTTE
• Meyer, Bertrand
• Woodcock, Jim

Bibliographic Information

Verified Software : theories, tools, experiments : first IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : revised selected papers and discussions

Bertrand Meyer, Jim Woodcock (eds.)

（Lecture notes in computer science, 4171）

Springer, c2008

Note

"State-of-the-art-survey"--Cover

"ifip"--Cover

Includes bibliographical references and index

Details

• NCID: BA88148167
• ISBN:
  • 9783540691471
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: xxiii, 546 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.76.V47
• Subject Headings:
  • LCSH : Computer software -- Verification -- Congresses
  • LCSH : Computer software -- Quality control -- Congresses
  • LCSH : Compilers (Computer programs) -- Congresses
• Parent Bibliography ID:
  • BA00009279