Media type: E-Book; Conference Proceedings Title: ZUM'97: The Z Formal Specification Notation : 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings Contributor: Bowen, Jonathan P. [Author]; Hinchey, Michael G. [Other]; Till, David [Other] imprint: Berlin, Heidelberg: Springer Berlin Heidelberg, 1997 Published in: Lecture notes in computer science ; 1212 Bücher Extent: Online-Ressource Language: English DOI: 10.1007/BFb0027279 ISBN: 9783540627173 Identifier: RVK notation: SS 4800 : Lecture notes in computer science Keywords: Z Origination: Footnote: