Format:
VIII, 507 S.
ISBN:
3-540-20303-6
Series Statement:
Lecture notes in computer science 2852 : Tutorial
Note:
Includes bibliographical references and index
Language:
English
Subjects:
Computer Science
Keywords:
Softwareentwicklung
;
Formale Methode
;
Softwareentwicklung
;
Objektorientierung
;
Komponente
;
Softwareentwicklung
;
Formale Spezifikationstechnik
;
Konferenzschrift
;
Konferenzschrift
URL:
http://www.loc.gov/catdir/enhancements/fy0818/2003066671-d.html