ZB 2003: Formal Specification and Development in Z and B: third international conference of B and Z … - SLUB Dresden

Media type: Book; Conference Proceedings
Title: ZB 2003: Formal Specification and Development in Z and B : third international conference of B and Z Users, Turku, Finland, Juni 4 - 6, 2003 ; proceedings
Contributor: Bert, Didier [Editor]
Event: ZB
Published: Berlin; Heidelberg [u.a.]: Springer, 2003
Published in: Lecture notes in computer science ; 2651
Extent: XIII, 545 S.; graph. Darst; 24 cm
Language: English
ISBN: 3540402535
RVK notation: SS 4800 : Lecture notes in computer science
Keywords: Softwareentwicklung > Softwarespezifikation > Formale Spezifikationstechnik > Z
Softwareentwicklung > Softwarespezifikation > Formale Spezifikationstechnik > B
Softwareentwicklung > Softwarespezifikation > Formale Spezifikationstechnik > Z
Softwareentwicklung > Softwarespezifikation > Formale Spezifikationstechnik > B
Origination:
Footnote: Literaturangaben

ZB 2003: Formal Specification and Development in Z and B