UID:
kobvindex_ZLB13507841
Format:
XIII, 545 Seiten
,
graph. Darst.
,
24 cm
Edition:
1. Aufl.
ISBN:
3540402535
Series Statement:
Lecture notes in computer science 2651
Note:
Literaturangaben
,
Text engl.
Language:
English
Keywords:
Softwareentwicklung
;
Softwarespezifikation
;
Formale Spezifikationstechnik
;
Z 〈Programmiersprache〉
;
Kongress
;
Turku 〈2003〉
;
Softwareentwicklung
;
Softwarespezifikation
;
Formale Spezifikationstechnik
;
B 〈Programmiersprache〉
;
Kongress
;
Turku 〈2003〉
;
Kongress
;
Konferenzschrift