Web Services Formal Methods and Behavioral Types
44.94 EUR
Dieses Buch sammelt die wichtigsten Beiträge des WS‑FM 2014 aus Eindhoven: es verbindet formale Verifikation, Typentheorie für Web‑Services und praktische Beispiele zu verteilten Systemen, um neue Designprinzipien aufzuzeigen.