Media type: Book; Conference Proceedings Title: ZUM '98: The Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24 - 26, 1998, proceedings Contributor: Bowen, Jonathan P. [HerausgeberIn]; Fett, Andreas [HerausgeberIn]; Hinchey, Mike [HerausgeberIn] Event: ZUM imprint: Berlin; Heidelberg; New York: Springer, 1998 Published in: Lecture notes in computer science ; 1493 Extent: XV, 415 Seiten Language: English ISBN: 3540650709 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Formale Spezifikationstechnik > Z Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: R2016 8 4559 Item ID: 30441085 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order