Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings (Lecture Notes in Computer Science, Band 4184)

Die Ausgabe der dritten internationalen Konferenz WS‑FM 2006 aus Wien liefert ein kompaktes Referenzwerk, das die neuesten formalen Techniken für ...

Allgemein

Marke
Mario Bravetti
ISBN
Mario Bravetti 3540388621
MPN
Mario Bravetti biography

Eigenschaften

Menü