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

• 作者：Nachum Dershowitz (ed.)
• 出版者：Photo SCALA, Florence
• 出版地：Berlin ;
• 語文：英語
• 叢書名：Lecture notes in computer science ;
• 電子資源：http://dx.doi.org/10.1007/b12001
• ISBN/ISSN/ISRC：9783540210023 (paper)
• 作者：Dershowitz, Nachum.;Manna, Zohar.
• 索書號：005.14