Reactive Systems: Modelling, Specification and Verification by Luca Aceto: New

Reactive Systems: Modelling, Specification And Verification By Luca Aceto

Reactive Systems: Modelling, Specification and Verification by Luca Aceto (Engli

Reactive Systems Modelling, Specification and Verification Aceto Ingólfsdóttir

The Materiality of Sound in Chant Manuscripts in the East by Elsa de Luca (Engli

The Way of Z: Practical Programming with Formal Methods by Jonathan Jacky (Engli

Social Systems Engineering: The Design of Complexity by C?sar Garc?a-D?az (Engli