Format:
XI, 569 S.
,
Ill., graph. Darst.
,
24 cm
ISBN:
3540602712
Series Statement:
Lecture notes in computer science 967
Note:
Literaturangaben
Additional Edition:
Online-Ausg. ZUM '95: the Z formal specification notation ; 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995 ; proceedings Berlin [u.a.] : Springer, 1995 ISBN 9783540447825
Additional Edition:
Erscheint auch als Online-Ausgabe Bowen, Jonathan P. ZUM '95: The Z Formal Specification Notation Berlin, Heidelberg : Springer Berlin Heidelberg, 1995 ISBN 9783540447825
Language:
English
Subjects:
Computer Science
Keywords:
Z
;
Z
;
Aufsatzsammlung
;
Konferenzschrift