Cover of Formal Methods for Quantitative Aspects of Programming Languages
View on Open Library ↗

Formal Methods for Quantitative Aspects of Programming Languages

by , , ,

42 min read
Rate this book:
169 pages 2010

Buy This Book

Amazon → Bookshop.org Supports indie bookshops → Open Library Borrow Free to borrow →

As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.

Know this book?

Help other readers discover this title by sharing your thoughts. Be the first to write a review.

Share Your Thoughts

Sign in to write a review.

More by Alessandro Aldini

A process algebraic approach to software architecture design
A process algebraic approach to software architecture design
2010
Data Privacy Management, and Security Assurance
Data Privacy Management, and Security Assurance
2016
Data Privacy Management, Auton
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance
2015
Foundations of Security Analysis and Design III
Foundations of Security Analysis and Design III
2005
Foundations of Security Analysis and Design V
Foundations of Security Analysis and Design V
2009
Foundations of Security Analysis and Design VI
Foundations of Security Analysis and Design VI
2011

View all books by Alessandro Aldini →