Formal description techniques vii

Descrição: This book presents the latest research in formal techniques for distributed systems, including material on theory, ... Veja mais