Verification
Subtitle: theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
By: Nachum Dershowitz (ed.)
Contributors: Dershowitz, Nachum.; Manna, Zohar.
Series: Lecture notes in computer science -- 2772.
Publisher: Springer-Verlag
Published: 2004
Place of publication: Berlin; New York
Language: eng
Number of pages: 782
Subjects: Computer software -- Verification
Notes: Includes bibliographical references and index.