Formal Techniques for Distributed Objects, Components, and Systems

Ediciones (1)

• Formal Techniques for Distributed Objects, Components, and Systems (2023)

  Springer · inglés · ISBN 9783031353543

Más obras de Marieke Huisman

Tools and Algorithms for the Construction and Analysis of Systems

Integrated Formal Methods