Suchfeld einblenden
Schlagwort Z
12 Treffer
The Z-formal specification notation
: proceedings / ZUM '95, 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Jonathan P. Bowen ; Michael G. Hinchey (ed.). - Berlin : Springer, 1995. - XI, 569 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 967)
ISBN 978-3-540-60271-2 / 3-540-60271-2 kart. : DM 110.00
Literaturangaben
Quelle: DNB
Z-User Workshop
: Cambridge 1994 ; proceedings of the Eighth Z User Meeting, Cambridge, 29 - 30 June 1994 / J. P. Bowen and J. A. Hall (ed.). Publ. in collab. with the British Computer Society. - London : Springer, 1994. - X, 403 S. : graph. Darst.; 24 cm - (Workshops in Computing)
ISBN 978-3-540-19884-0 / 3-540-19884-9 kart. : DM 98.00
Literaturangaben
Quelle: DNB
