0139510621 SHOW MOOCHABLE + ? RELATED SEARCHES > ADVANCED SEARCH > HIDE COVERS - ASIN Title: Verifiable Programming (Prentice-Hall International Series in Computer Science) Author: Ole-Johan Dahl Description: Product Description This work on programming is aimed at those who know how very difficult a task it is. It adopts two approaches - focusing on program verifiability through reasoning about the program text a... (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 >