ZUM'97: The Z Formal Specification Notation 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Bowen, Jonathan P. (Editor, http://id.loc.gov/vocabulary/relators/edt), Hinchey, Michael G. (Editor, http://id.loc.gov/vocabulary/relators/edt), Till, David (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997.
• Edition: 1st ed. 1997.
• Series: Lecture Notes in Computer Science, 1212
• Subjects: Software engineering.; Programming languages (Electronic computers).; Computer science-Mathematics.; Algorithms.; Computer programming.; Software Engineering/Programming and Operating Systems.; Programming Languages, Compilers, Interpreters.; Software Engineering.; Symbolic and Algebraic Manipulation.; Algorithm Analysis and Problem Complexity.; Programming Techniques.

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 topi...