Clicky

Formal Methods for Quantitative Aspects of Programming Languages by Alessandro Aldini and similar books you'll love - Bookscovery

Home > Authors > Alessandro Aldini > Formal Methods for Quantitative Aspects of Programming Languages

Buy at: Bookshop.org Amazon

Formal Methods for Quantitative Aspects of Programming Languages

Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky

Recent activity

Rate this book to see your activity here.

19 Books Similar to Formal Methods for Quantitative Aspects of Programming Languages by Alessandro Aldini

Bookscovery readers who liked Formal Methods for Quantitative Aspects of Programming Languages also like Computer Performance Engineering, Computer Performance Engineering and Formal Methods for Computational Systems Biology. How many of these have you read?

Computer Performance Engineering by Alessandro Aldini

Cover of Computer Performance Engineering
Buy this book at:
Bookshop.org Amazon

Computer Performance Engineering by Alessandro Aldini

Cover of Computer Performance Engineering
Buy this book at:
Bookshop.org Amazon

Formal Methods for Computational Systems Biology by Marco Bernardo

Cover of Formal Methods for Computational Systems Biology
Buy this book at:
Bookshop.org Amazon

Formal Methods for Dynamical Systems by Marco Bernardo

Cover of Formal Methods for Dynamical Systems
Buy this book at:
Bookshop.org Amazon

Formal Methods for Dynamical Systems by Marco Bernardo

Cover of Formal Methods for Dynamical Systems
Buy this book at:
Bookshop.org Amazon

Formal Methods for Eternal Networked Software Systems by Marco Bernardo

Cover of Formal Methods for Eternal Networked Software Systems
Buy this book at:
Bookshop.org Amazon

Formal Methods for Executable Software Models by Marco Bernardo

Cover of Formal Methods for Executable Software Models
Buy this book at:
Bookshop.org Amazon

Formal Methods for Hardware Verification by Marco Bernardo

Cover of Formal Methods for Hardware Verification
Buy this book at:
Bookshop.org Amazon

Formal Methods for Mobile Computing by Marco Bernardo

Cover of Formal Methods for Mobile Computing
Buy this book at:
Bookshop.org Amazon

Formal Methods for Model-Driven Engineering by Marco Bernardo

Cover of Formal Methods for Model-Driven Engineering
Buy this book at:
Bookshop.org Amazon

Formal Methods For Modeldriven Engineering 12th International School On Formal Methods For The Design Of Computer Communication And Software Systems Sfm 2012 Bertinoro Italy June 1823 2012 Advanced Lectures by Marco Bernardo

Cover of Formal Methods For Modeldriven Engineering 12th International School On Formal Methods For The Design Of Computer Communication And Software Systems Sfm 2012 Bertinoro Italy June 1823 2012 Advanced Lectures
Buy this book at:
Bookshop.org Amazon

Formal Methods for Multicore Programming by Marco Bernardo

Cover of Formal Methods for Multicore Programming
Buy this book at:
Bookshop.org Amazon

Formal Methods for Performance Evaluation by Marco Bernardo

Cover of Formal Methods for Performance Evaluation
Buy this book at:
Bookshop.org Amazon

Formal methods for software architectures by Marco Bernardo

Cover of Formal methods for software architectures
Buy this book at:
Bookshop.org Amazon

Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems by Marco Bernardo

Cover of Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems
Buy this book at:
Bookshop.org Amazon

Formal Methods for the Design of Real-Time Systems by Marco Bernardo

Cover of Formal Methods for the Design of Real-Time Systems
Buy this book at:
Bookshop.org Amazon

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems by Marco Bernardo

Cover of Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Buy this book at:
Bookshop.org Amazon

Formal Methods for Web Services by Marco Bernardo

Cover of Formal Methods for Web Services
Buy this book at:
Bookshop.org Amazon

Probabilistic Trace and Testing Semantics by Marco Bernardo

Cover of Probabilistic Trace and Testing Semantics
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Formal Methods for Quantitative Aspects of Programming Languages

Please sign in to leave a comment