UID:
kobvindex_ZLB13866267
Umfang:
XV, 491 Seiten
,
graph. Darst.
ISBN:
3540255591
Serie:
Lecture notes in computer science 3455
Anmerkung:
Text engl.
Sprache:
Englisch
Schlagwort(e):
Softwareentwicklung
;
Softwarespezifikation
;
Formale Spezifikationstechnik
;
Z 〈Programmiersprache〉
;
Kongress
;
Guildford 〈2005〉
;
Softwareentwicklung
;
Softwarespezifikation
;
Formale Spezifikationstechnik
;
B 〈Programmiersprache〉
;
Kongress
;
Guildford 〈2005〉
;
Kongress
;
Konferenzschrift