hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Schlagwort Z
12 Treffer
Seite < 1 2 >
Cover

Abstract state machines, B and Z

: first international conference ; proceedings / ABZ 2008, London, UK, September 16 - 18, 2008. Egon Börger ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5238)

ISBN 978-3-540-87603-8

Lizenzpflichtig

Quelle: DNB

Cover

Lano, Kevin: Formal object oriented development

/ Kevin Lano. - London : Springer, 1995. - 422 S. : graph. Darst.; 24 cm - (Formal approaches to computing and information technology)

ISBN 978-3-540-19978-6 / 3-540-19978-0 kart. : DM 74.00

Literaturverz. S. 318 - 331

Quelle: DNB

Cover

Formal specification and development in Z and B

: proceedings / ZB 2002, 2nd International Conference of B and Z Users, Grenoble, France, January 23 - 25, 2002. Didier Bert ... (ed.). - Berlin : Springer, 2002. - XII, 534 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2272)

ISBN 978-3-540-43166-4 / 3-540-43166-7 kart. : EUR 64.20

Literaturangaben

Quelle: DNB

Cover

Formal specification and development in Z and B

: proceedings / ZB 2000, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000. Jonathan P. Bowen ... (ed.). - Berlin : Springer, 2000. - XIV, 510 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1878)

ISBN 978-3-540-67944-8 / 3-540-67944-8 kart. : DM 114.00

Literaturangaben

Quelle: DNB

Cover

Formal specification and development in Z and B

: proceedings / ZB 2002, 2nd International Conference of B and Z Users, Grenoble, France, January 23 - 25, 2002. D. Bert ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2272)

ISBN 978-3-540-45648-3

Lizenzpflichtig

Quelle: DNB

Cover

Formal specification and development in Z and B

: proceedings / ZB 2000, First International Conference of B and Z Users, York, UK, August/September 2000. J. P. Bowen ... (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1878)

ISBN 978-3-540-44525-8

Lizenzpflichtig

Quelle: DNB

Cover

Formal specification and development in Z and B

: proceedings / ZB 2003, Third International Conference of B and Z Users, Turku, Finland, June 4 - 6, 2003. Didier Bert ... (ed.). - Berlin : Springer, 2003. - XIII, 545 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2651)

ISBN 978-3-540-40253-4 / 3-540-40253-5 kart. : EUR 70.62

Literaturangaben

Quelle: DNB

Cover

Z

: the official guide / Peter Schmitz/Christian Schmidt. - Haar bei München : X-Games, 1996. - 128 S.; 23 cm

ISBN 978-3-8272-9009-0 / 3-8272-9009-0 kart. : DM 19.95

Quelle: DNB

Cover

The Z formal specification notation

: proceedings / ZUM '98, 11th International Conference of Z Users, Berlin, Germany, September 24 - 26, 1998. Jonathan P. Bowen ... (ed.). - Berlin : Springer, 1998. - XV, 415 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1493)

ISBN 978-3-540-65070-6 / 3-540-65070-9 kart. : DM 90.00

Literaturangaben

Quelle: DNB

Cover

The Z formal specification notation

: proceedings / ZUM '97, 10th International Conference of Z Users, Reading, UK, April 3 - 4, 1997. Jonathan P. Bowen ... (ed.). - Berlin : Springer, 1997. - X, 433 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1212)

ISBN 978-3-540-62717-3 / 3-540-62717-0 kart. : DM 90.00

Literaturangaben

Quelle: DNB

Seite < 1 2 >
Projekte . Kooperationen