2013 - The Foundations of Program Verification [Series in Computer Science - German Edition] (Paperback) ISBN-13: 9783322967541 ISBN-10: 3322967549 Genres: Computers & Technology, Science & Math, Engineering & Transportation ? 1987 - The Foundations of Program Verification 2nd Edition (Hardcover) ISBN-13: 9780471912828 ISBN-10: 0471912824 Genre: Computers & Technology ? |