hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Schlagwort Z
4 Treffer
Seite < 1 >
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

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

Seite < 1 >
Projekte . Kooperationen