Formal Description Techniques VII

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.

Autor*in

D. Hogrefe

Themen in »Formal Description Techniques VII«

distributed systems material research semantics testing verification

Stimmen zu »Formal Description Techniques VII«

Although this is a multi-author production, the subject matter is so concise that the usual pitfall of superficially covering too many different issues has been prevented ... A very technical but concise reference book - Network
()

Details

Link teilen