Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings: 5674 (Lecture ... Computer Science and General Issues)
by
ISBN 13: 9783642033582
Format: Paperback (517 pages) Publisher: Springer Published: 04 Aug 2009
Save for later
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540372158
Format: Paperback (620 pages) Publisher: Springer Published: 10 Aug 2006
FREE UK DELIVERY 
FREE UK DELIVERY
30 Day Refund Guarantee
