Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday

Author(s)

• Dershowitz, Nachum
• Manna, Zohar

Bibliographic Information

Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday

Nachum Dershowitz (ed.)

（Lecture notes in computer science, 2772）

Springer, c2003

Note

Includes bibliographical references and index

Includes photo of Zohar Manna (b.1939)

"The symposium was held in Taormina, Sicily, Italy between June 29 and July 4, 2003." - pref.

Details

• NCID: BA66316020
• ISBN:
  • 3540210024
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; Tokyo
• Pages/Volumes: xv, 782 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.76.V47
  • DC22 : 005.1/4
• Subject Headings:
  • LCSH : Computer software -- Verification
• Parent Bibliography ID:
  • BA00009279