Program Construction and Verification
Author | : Roland C. Backhouse |
Publisher | : Prentice Hall |
Total Pages | : 304 |
Release | : 1986 |
ISBN-10 | : UOM:39015011129320 |
ISBN-13 | : |
Rating | : 4/5 ( Downloads) |
Book Synopsis Program Construction and Verification by : Roland C. Backhouse
Download or read book Program Construction and Verification written by Roland C. Backhouse and published by Prentice Hall. This book was released on 1986 with total page 304 pages. Available in PDF, EPUB and Kindle. Book excerpt: