Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 (Lecture Notes in Computer Science, 3236, Band 3236)

Ein kompakter Leitfaden, der die Anwendung formaler Methoden in Tests, Performanceanalyse und E‑Commerce beleuchtet; er fasst die Erkenntnisse der F ...

Allgemein

Marke
Fernando Pelayo
ISBN
Fernando Pelayo 3540231692
MPN
Fernando Pelayo Illustrations

Eigenschaften

Menü