Formal Description Techniques VII, Volume 7, Part 1994

Front Cover
D. Hogrefe, S. Leue
Springer, Feb 28, 1995 - Computers - 544 pages
0 Reviews
This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.


Proving performance properties even probabilistic ones
N Lynch 3
A service request description language

30 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information