Umfang:
VIII, 507 S.
ISBN:
3-540-20303-6
Serie:
Lecture notes in computer science 2852 : Tutorial
Anmerkung:
Includes bibliographical references and index
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Softwareentwicklung
;
Formale Methode
;
Softwareentwicklung
;
Objektorientierung
;
Komponente
;
Softwareentwicklung
;
Formale Spezifikationstechnik
;
Konferenzschrift
;
Konferenzschrift
URL:
http://www.loc.gov/catdir/enhancements/fy0818/2003066671-d.html