UID:
kobvindex_ZLB13866267
Format:
XV, 491 Seiten
,
graph. Darst.
ISBN:
3540255591
Series Statement:
Lecture notes in computer science 3455
Note:
Text engl.
Language:
English
Keywords:
Softwareentwicklung
;
Softwarespezifikation
;
Formale Spezifikationstechnik
;
Z 〈Programmiersprache〉
;
Kongress
;
Guildford 〈2005〉
;
Softwareentwicklung
;
Softwarespezifikation
;
Formale Spezifikationstechnik
;
B 〈Programmiersprache〉
;
Kongress
;
Guildford 〈2005〉
;
Kongress
;
Konferenzschrift