
Computer Aided Verification
Rajeev Alur, Thomas Henzinger
₹5,618

Third International Conference, Emsoft 2003, Philadelphia, Pa, Usa, October 13-15, 2003, Proceedings
by Rajeev Alur
Free delivery. Nothing extra to pay at checkout.
This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003. The 20 revised full papers presented together with three invited papers were carefully reviewed and selected from 60 submissions.
Description supplied by the publisher.