Paperback Book
显示无货商品

Ganesh Gopalakrishnan的作品

Cover for Ganesh Gopalakrishnan · Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2011 edition] (2011)

Computer Aided Verification: 23r... (2011)

Ganesh Gopalakrishnan

Cover for Ganesh Gopalakrishnan · Formal Methods in Computer-aided Design: Second International Conference, Fmcad '98, Palo Alto, Ca, Usa, November 4-6, 1998, Proceedings - Lecture Notes in Computer Science (Paperback Book) (1998)

Formal Methods in Computer-aided... (1998)

Ganesh Gopalakrishnan