FEEDBACK Smiley face

Your search returned 2 results. Subscribe to this search

1. Time for Verification [electronic resource] :Essays in Memory of Amir Pnueli /

by Manna, Zohar [editor.] | Peled, Doron A [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.Online access: Click here to access online Availability: No items available

2. The calculus of computation : decision procedures with applications to verification

by Bradley, Aaron R | Manna, Zohar.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Springer, ©2007Availability: Items available for loan: IIITD [004.015 BRA-C] (1).

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: