This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.
| ISBN-13: | 9780412644504 |
| ISBN-10: | 0412644509 |
| Publisher: | Springer US |
| Publication date: | 1995-02-28 |
| Edition description: | 1995 |
| Pages: | 522 |
| Product dimensions: | Height: 9.21 Inches, Length: 6.14 Inches, Weight: 4.519476371 Pounds, Width: 1.19 Inches |
| Author: | D. Hogrefe, S. Leue |
| Language: | en |
| Binding: | Hardcover |
Discover more books in the same category
