IFIP Advances in Information and Communication Technology

Hogrefe, D.; Leue, S.

This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.

Details

Published by: Springer

Publication Date: 1995-02-28

Format: Hardcover

ISBN-13: 9780412644504

DOI: 10.1007/978-0-387-34878-0

Dimensions: 235cm x155cm

Pages: 522