Z User Workshop, York 1991 : Proceedings of the Sixth Annual Z User Meeting, York 16-17 December 1991 /
The mathematical concepts and notational conventions known as Z were first proposed around 1981. The objective was to establish a mathematical basis for programming concepts, and to verify the work by case studies with industry. Since 1986 there has been a steady growth in the number of Z users, and...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
London :
Springer London,
1992.
|
| Series: | Workshops in computing.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | The mathematical concepts and notational conventions known as Z were first proposed around 1981. The objective was to establish a mathematical basis for programming concepts, and to verify the work by case studies with industry. Since 1986 there has been a steady growth in the number of Z users, and a corresponding increase in the publication of technical papers and reports of work with Z. The annual Z user meetings offer an excellent focal point for work published on Z, and provide a forum for the discussion of new developments. Z User Workshop, York 1991, provides an important overview of new developments in theoretical and practical aspects of Z. It will be of interest to academic and industrial researchers, as well as teachers of formal methods, and industrial software engineers. |
|---|---|
| Item Description: | Electronic resource. |
| Physical Description: | 1 online resource (VIII, 408 pages) |
| ISBN: | 9781447132035 (electronic bk.) 1447132033 (electronic bk.) |