Formal Development of Programs and Proofs
| Publisher: | Addison-Wesley |
| Published In: | 1990 |
| ISBN-10: | 0201172372 |
| ISBN-13: | 9780201172379 |
| Pages: | pp. xiv + 242, Illus. |
The Title "Formal Development of Programs and Proofs" was published in the year 1990. This book has total of pp. xiv + 242 (Pages). The publisher of this title is Addison-Wesley. Formal Development of Programs and Proofs is currently Not Available with us.You can enquire about this book and we will let you know the availability.