Formal specification is a technique for specifying what is required
of a computer system clearly, concisely and without ambiguity. Z is
a leading notation for formal specification. Formal Specification
Using Z is an introductory book intended for the many software
engineers and students who will benefit from learning about this
important topic in software engineering. It is intended for
non-mathematicians, and it introduces the ideas in a constructive
style, building each new concept on the ones already covered. Each
chapter is followed by a set of exercises, and sample solutions are
provided for all of these in an appendix.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
