ZUM'98 The Z Formal Specification Notation
| Author/creator | Bowen, J. P. Author |
| Other author | Fettweis, A. Author |
| Other author | Hinchey, M. G. Editor |
| Format | Electronic |
| Publication Info | New York : Springer |
| Description | XV, 417 p. ill 23.500 x 015.500 cm. |
| Supplemental Content | Full text available from Springer Books |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present) |
| Subjects |
| Series | Lecture Notes in Computer Science Ser. |
| Summary | Annotation This book constitutes the refereed proceedings of the 11th International Conference of Z Users, ZUM '98, held in Berlin, Germany, in September 1998.The 28 revised and invited papers presented were carefully reviewed and selected for inclusion in the book; also included is a comprehensive Z bibliography and a summary of the frequently asked questions at two Z Internet sites. The papers are organized in sections on industrial issues, concurrency, tools, Z and HOL, safety-critical and real-time systems, semantic theory, theory and standards, reasoning and consistency issues, refinement, and object orientation. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| ISBN | 9783540650706 |
| ISBN | 3540650709 (Trade Paper) Active Record |
| Standard identifier# | 9783540650706 |
| Stock number | 3540650709 00024965 |