Formal methods for open object-based distributed systems

Ediciones (4)

• Formal Methods for Open Object-Based Distributed Systems (2013)

  Springer · inglés · ISBN 9780387355627

• Formal Methods for Open Object-Based Distributed Systems (2013)

  Springer · inglés · ISBN 9781475752663

• Formal Methods for Open Object-Based Distributed Systems (2006)

  Springer · inglés · ISBN 9783540348931

• Formal Methods for Open Object-Based Distributed Systems (2006)

  Springer London, Limited · inglés · ISBN 9783540348955

Más obras de Roberto Gorrieri

Foundations of security analysis and design II

Foundations of security analysis and design

Introduction to Concurrency Theory

Process Algebras for Petri Nets

Ver todas las obras de Roberto Gorrieri →