|
|||||||||||||||||||||||||||||||||||
|
1 Review
|
Average Customer Review
Share your thoughts with other customers
Create your own review
|
|
Most Helpful First | Newest First
|
|
2 of 2 people found the following review helpful:
5.0 out of 5 stars
very clear exposition,
By xxx "john" (Belgium) - See all my reviews
This review is from: An Introduction to Discrete Mathematics, Formal System Specification, and Z (Oxford Applied Mathematics & Computing Science Series) (Paperback)
This book is a very clear exposition on how tu use formal techniques like Z. It is both rigorous and clear. First the mathematical theory is introduced in a rigorous way and then it is explained how these techniques are applied in specifying formal models. The examples are also very good : small and clear, but containing enough information to learn the stuff..
|
|
Most Helpful First | Newest First
|
|
An Introduction to Discrete Mathematics, Formal System Specification, and Z (Oxford Applied Mathematics & Computing Science Series) by D. C. Ince (Paperback - March 18, 1993)
$69.95
In Stock | |
 
| ||
