CURRENTLY SOLD OUT

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)