Umfang:
XV, 491 S. :
,
Ill., gdraph. Darst.
ISBN:
3-540-25559-1
Serie:
Lecture notes in computer science 3455
Anmerkung:
978-3-540-25559-8
Sprache:
Englisch
Schlagwort(e):
Softwareentwicklung
;
Softwarespezifikation
;
Formale Spezifikationstechnik
;
Z
;
Softwareentwicklung
;
Softwarespezifikation
;
Formale Spezifikationstechnik
;
B
;
Konferenzschrift
;
Konferenzschrift
;
Konferenzschrift