-
RecordNumber
6040
-
Title
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 :
