Format:
XIII, 545 S.
,
graph. Darst.
,
24 cm
ISBN:
3540402535
Series Statement:
Lecture notes in computer science 2651
Note:
Literaturangaben
Additional Edition:
Erscheint auch als Online-Ausgabe Bert, Didier ZB 2003: Formal Specification and Development in Z and B Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2003 ISBN 9783540448808
Additional Edition:
ISBN 3540402535
Language:
English
Subjects:
Computer Science
Keywords:
Softwareentwicklung
;
Softwarespezifikation
;
Formale Spezifikationstechnik
;
Z
;
Softwareentwicklung
;
Softwarespezifikation
;
Formale Spezifikationstechnik
;
B
;
Softwareentwicklung
;
Softwarespezifikation
;
Formale Spezifikationstechnik
;
Z
;
Softwareentwicklung
;
Softwarespezifikation
;
Formale Spezifikationstechnik
;
B
;
Konferenzschrift
URL:
http://www.loc.gov/catdir/enhancements/fy0813/2003052988-d.html