A Alur Henzinger Rajeev T books on Phatpocket Limited

Quick Search

Author
Title
Description
Keyword
ISBN

Navigation

Alur, Rajeev Henzinger, T. A. Listings

If you cannot find what you want on this page, then please use our search feature to search all our listings.

	1	Alur, Rajeev Henzinger, T. A. Computer Aided Verification: International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 - Proceedings 8th (Lecture Notes in Computer Science) Springer-Verlag Berlin and Heidelberg GmbH & Co. K Jul 1996 3540614745 / 9783540614746 Paperback Very Good Ships from UK in 48 hours or less (usually same day). £0.25 donated to charity. Ex-library, but in very good condition. 14 day unconditional money back guarantee. light 484 Price: 9.64 GBP
Add to Shopping Cart

Altschul, A.