Kooperativer Bibliotheksverbund

UID:

Format: XI, 379 Seiten , graph. Darst.

Edition: 1

ISBN: 3540231692

Series Statement: Lecture notes in computer science 3236

Note: Text engl.

Language: English

Keywords: Electronic Commerce ; Formale Methode ; Toledo 〈2004〉 ; Verteiltes System ; Leistungsbewertung ; Formale Methode ; Kongress ; Toledo 〈2004〉 ; Verteiltes System ; Modellierung ; Testen ; Formale Methode ; Kongress ; Toledo 〈2004〉 ; Kongress ; Konferenzschrift