Formal Description Techniques VII
Author | : D. Hogrefe |
Publisher | : Springer |
Total Pages | : 512 |
Release | : 2016-01-09 |
ISBN-10 | : 9780387348780 |
ISBN-13 | : 0387348786 |
Rating | : 4/5 (786 Downloads) |
Book Synopsis Formal Description Techniques VII by : D. Hogrefe
Download or read book Formal Description Techniques VII written by D. Hogrefe and published by Springer. This book was released on 2016-01-09 with total page 512 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.