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

SubTitle

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

Author Statement

Nachum Dershowitz (ed.)

Publication

Springer-Verlag

Publication Year

c2003

Collation

xv, 782 p. ill. 23 cm

Series

Lecture notes in computer science

Notes

Includes bibliographical references and index

Subject

Computer software

ADDED ENTRIES

Dershowitz, Nachum. , Manna, Zohar.

Main class

005.1/4

Link To Document