
Tell your friends about this item:
Formal Description Techniques VII - IFIP Advances in Information and Communication Technology 1995 edition
Hogrefe
Formal Description Techniques VII - IFIP Advances in Information and Communication Technology 1995 edition
Hogrefe
This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.
522 pages, black & white illustrations
Media | Books Hardcover Book (Book with hard spine and cover) |
Released | February 28, 1995 |
ISBN13 | 9780412644504 |
Publishers | Chapman and Hall |
Pages | 522 |
Dimensions | 155 × 235 × 30 mm · 925 g |
Editor | Hogrefe, D. |
Editor | Leue, S. |