|
Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
ZUM'97: The Z Formal Specification Notation - 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings (Paperback, 1997 ed.)
Loot Price: R1,728
Discovery Miles 17 280
|
|
|
ZUM'97: The Z Formal Specification Notation - 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings (Paperback, 1997 ed.)
Series: Lecture Notes in Computer Science, 1212
Expected to ship within 10 - 15 working days
|
This book constitutes the refereed proceedings of the 10th
International Conference of Z Users, ZUM'97, held in Reading, UK,
in April 1997.
The volume presents 18 revised full papers together with three
invited presentations by internationally leading experts. The
papers are organized into topical sections on real-time systems,
tools, logic, system development, reactive systems, refinement, and
applications. Also a select Z bibliography by Jonathan Bowen is
added. All in all, the book competently reports the
state-of-the-art in research and advanced applications of the Z
notation.
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!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
