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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Bowen, Jonathan P. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Hinchey, Michael G. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Till, David (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997.
• Έκδοση: 1st ed. 1997.
• Σειρά: Lecture Notes in Computer Science, 1212
• Θέματα: 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...