Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999 : Proceedings: 11th: International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1999)

Brand new: lowest price

AU $178.99

Free postage
  • Get it by Thu, 29 Mar - Tue, 17 Apr from Sydney, Australia
  • Brand new condition
  • • Returns accepted - 30 days money back
This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99. Tutorials and Invited Papers.