Format:
VIII, 371 S. . graph. Darst.
ISBN:
3540229426
Series Statement:
Lecture notes in computer science 3188
Note:
Literaturangaben
Additional Edition:
Online-Ausg. Boer, Frank S. de Formal Methods for Components and Objects Berlin, Heidelberg : Springer Berlin Heidelberg, 2004 ISBN 9783540229421
Language:
English
Subjects:
Computer Science
Keywords:
Softwareentwicklung
;
Formale Methode
;
Softwareentwicklung
;
Objektorientierung
;
Komponente
;
Softwareentwicklung
;
Formale Spezifikationstechnik
;
Softwareentwicklung
;
Formale Methode
;
Softwareentwicklung
;
Objektorientierung
;
Komponente
;
Softwareentwicklung
;
Formale Spezifikationstechnik
;
Konferenzschrift
;
Konferenzschrift