Similar Listings
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 by Luca Aceto (Engli
Reactive Systems: Modelling, Specification and Verification by Luca Aceto (Engli
Reactive Systems Modelling, Specification and Verification Aceto Ingólfsdóttir
Specification and Compositional Verification of Real-Time Systems by Hooman: New
Temporal Verification of Reactive Systems - 9781461287018
Temporal Verification of Reactive Systems : Safety, Hardcover by Manna, Zohar...