Computer-aided Reasoning - Advances in Formal Methods - Matt Kaufmann - Books - Springer-Verlag New York Inc. - 9781441949813 - December 8, 2010
In case cover and title do not match, the title is correct

Matt Kaufmann
Computer-aided Reasoning - Advances in Formal Methods Softcover Reprint of the Original 1st Ed. 2000 edition

Price
HK$ 1,646
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 2 - 8

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

352 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released December 8, 2010
ISBN13 9781441949813
Publishers Springer-Verlag New York Inc.
Pages 352
Dimensions 156 × 234 × 18 mm   ·   498 g
Language English  
Editor Kaufmann, Matt
Editor Manolios, Panagiotis
Editor Moore, J. Strother

See all of Matt Kaufmann ( e.g. Paperback Book and Hardcover Book )