FEEDBACK Smiley face

Your search returned 3 results. Subscribe to this search

|
1. Computer Aided Verification [electronic resource] :10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings /

by Hu, Alan J [editor.] | Vardi, Moshe Y [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, 1998.Online access: Click here to access online Availability: No items available

2. Formal Methods in Computer-Aided Design [electronic resource] :5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings /

by Hu, Alan J [editor.] | Martin, Andrew K [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, 2004.Online access: Click here to access online Availability: No items available

3. Hardware and Software: Verification and Testing [electronic resource] :4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings /

by Chockler, Hana [editor.] | Hu, Alan J [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, 2009.Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in