Formal Description Techniques VII

Rabatt

Beschreibung

This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques. Inhalt Preface. Invited talk. New techniques. Applications. FDTs go commercial. Ve...

Format auswählen

Fester EinbandCHF 283.70
E-Book (pdf)CHF 236.90

Fester Einband

CHF 315.20

CHF283.70

E-Book (pdf)

CHF236.90

-10%Sie sparen CHF 31.50

315.20

CHF283.70

Exemplar wird für Sie besorgt.

Kostenlose Lieferung

Kein Rückgaberecht

Beschreibung

This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.

Inhalt
Preface. Invited talk. New techniques. Applications. FDTs go commercial. Verification. Verification and real-time. Semantics. Testing and performace. Refinement. Index of contributors. Keyword index.