Web Services Formal Methods and Behavioral Types | DealShopping Deutschland

Web Services Formal Methods and Behavioral Types

50.00 EUR 44.94 EUR 10% Off

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.

Teilen: