* Price may vary from time to time.
* GO = We're not able to fetch the price (please check manually visiting the website).
Formal Description Techniques VII is written by D. Hogrefe and published by Springer. It's available with International Standard Book Number or ISBN identification 0412644509 (ISBN 10) and 9780412644504 (ISBN 13).
This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.