00596nam|a2200169 a 450000500170000000800410001702000150005803500150007305000210008824501370010926000370024630000110028344000500029465000360034470000290038070000170040920260819090112.0040420s2004    gw      r     000|0 eng |  a3540210024  a.b1191748900aQA76.76 V47bV4800aVerification :btheory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday /cNachum Dershowitz, ed.  aBerlin :bSpringer-Verlag,c2004  a782 p. 0aLecture notes in computer science ;vno. 2772 0aComputer softwarexVerification1 aDershowitz, Nachum,eed.1 aManna, Zohar