
This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.
Page Count:
522
Publication Date:
1996-03-14
ISBN-10:
1504128818
ISBN-13:
9781504128810
No comments yet. Be the first to share your thoughts!