Formal Description Techniques VII

Formal Description Techniques VII PDF Author: D. Hogrefe
Publisher: Springer
ISBN: 0387348786
Category : Technology & Engineering
Languages : en
Pages : 512

Get Book Here

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