Moshe Vardi Editor (2 results)

Author:

Refine with Advanced Search

Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings (Lecture Notes in Computer Science)
Hu, Alan J. [Editor]; Vardi, Moshe Y. [Editor];
Language: English
Published by Springer, 1998
3540646086 / 9783540646082
- Softcover
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
5-star seller
Contact seller
Condition: Used - Good
US$ 5.31
US$ 6.99 shipping
Ships within U.S.A.
Quantity: 1 available
Paperback. Condition: Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge
Moshe Y. Vardi, editor
Language: English
Published by Morgan Kaufmann, 1988
0934613664 / 9780934613668
- Softcover
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.Zubal-Books, Since 1961
5-star seller
Contact seller
Condition: New
US$ 15.40
US$ 4.50 shipping
Ships within U.S.A.
Quantity: 1 available
Condition: New. 402 pp., Paperback, brand new! still in shrink wrap. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.