This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of issues associated with Z and formal methods, with particular reference to practical application. These issues include education, standards, tool support, and interaction with other design paradigms such as consideration of real-time and object-oriented approaches to development. Among the actual topics covered are: the formal specification in Z of Defence Standard 00 ...
Read More
This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of issues associated with Z and formal methods, with particular reference to practical application. These issues include education, standards, tool support, and interaction with other design paradigms such as consideration of real-time and object-oriented approaches to development. Among the actual topics covered are: the formal specification in Z of Defence Standard 00-56; formal specification of telephone features; specifying and interpreting class hierarchies in Z; and software quality assurance using the SAZ method. Z User Workshop, Cambridge 1994 provides an important overview of current research into industrial applications of Z, and will provide invaluable reading for researchers, postgraduate students and also potential industrial users of Z.
Read Less
Add this copy of Z User Workshop, Cambridge 1994: Proceedings of the to cart. $19.94, very good condition, Sold by Letusbegin rated 4.0 out of 5 stars, ships from Ossining, NY, UNITED STATES, published 1994 by Springer-Verlag.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good. Paperback, clean unmarked pristine pages, would be new except for slight warehouse wear, remainder mark, tight binding, sealed in plastic, exact artwork as listed,
Add this copy of Z User Workshop, Cambridge 1994: Proceedings of the to cart. $25.09, Sold by Zubal Books rated 5.0 out of 5 stars, ships from Cleveland, OH, UNITED STATES, published 1994 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
*Price HAS BEEN REDUCED by 10% until Monday, Feb. 17 (weekend sale item)* 405 pp., Paperback, ex library else text clean and binding tight. -If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Add this copy of Z User Workshop, Cambridge 1994: Proceedings of the to cart. $51.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1994 by Springer.
Add this copy of Z User Workshop, Cambridge 1994: Proceedings of the to cart. $58.91, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1994 by Springer.
Add this copy of Z User Workshop, Cambridge 1994: Proceedings of the to cart. $178.73, fair condition, Sold by ThriftBooks-Atlanta rated 5.0 out of 5 stars, ships from Austell, GA, UNITED STATES, published 1994 by Springer.
