Format:
XI, 379 S.
,
Ill., graph. Darst.
,
235 mm x 155 mm
ISBN:
3540231692
Series Statement:
Lecture notes in computer science 3236
Note:
Literaturangaben
Additional Edition:
Erscheint auch als Online-Ausgabe Nuñez, Manuel Applying Formal Methods: Testing, Performance, and M/E-Commerce Berlin, Heidelberg : Springer Berlin Heidelberg, 2004 ISBN 9783540231691
Language:
English
Subjects:
Computer Science
Keywords:
Electronic Commerce
;
Formale Methode
;
Verteiltes System
;
Leistungsbeurteilung
;
Formale Methode
;
Verteiltes System
;
Modellierung
;
Testen
;
Formale Methode
;
Software Engineering
;
Verteiltes System
;
Mathematische Logik
;
Konferenzschrift
URL:
http://www.loc.gov/catdir/toc/fy053/2004112846.html
URL:
http://www.loc.gov/catdir/enhancements/fy0823/2004112846-d.html
Bookmarklink