Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge 29-30 June 1994

Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge 29-30 June 1994

Hall, J. a.
Bowen, J. P.

Paperback

Series: Workshops in Computing

General GardeningProgramming

ISBN10: 3540198849
ISBN13: 9783540198840
Publisher: Springer Nature
Published: Jul 4 1994
Pages: 405
Weight: 1.29
Height: 0.86 Width: 6.14 Depth: 9.21
Language: English
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.

Also in

General Gardening

View All