0471912824 SHOW MOOCHABLE + ? RELATED SEARCHES > ADVANCED SEARCH > HIDE COVERS - ASIN Title: The Foundations of Program Verification, 2nd Edition Author: Jacques Loeckx Description: Product Description The Foundations of Program Verification Second Edition Jacques Loeckx and Kurt Sieber Fachbereich informatik Universitat des Saariandes, Saarbrucken, Germany In collaboration with Ryan D. ... (more) Available: No copies available WISHLIST ADD + SAVE FOR LATER + AMAZON > RECOMMEND > DETAIL > Search BookMooch for a book: SEARCH BOOKMOOCH > Search Amazon for a book: amazon.co.uk amazon.de amazon.es amazon.fr amazon.it amazon.cn SEARCH AMAZON >