Formal Description Techniques VII

By D. Hogrefe, S. Leue

Preview available

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

Book Details

Country: US
Published: 2016-01-09
Publisher: Springer
Author(s):D. Hogrefe S. Leue
Language: English
Pages: 522
Categories:Technology & Engineering / Electronics / General Computers / Networking / Hardware Technology & Engineering / Imaging Systems Technology & Engineering / Electrical
Available Formats:
PDF
Reading Modes:
Image