booktheque

Formal Methods for Quantitative Aspects of Programming Languages

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

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
2010
Language
English
Publisher
Springer London, Limited
Editions
1
Pages
169
ISBN
9783642136788

Data source: Wikidata

More by Alessandro Aldini

User-Centric Networking
Alessandro Aldini · 2014
Foundations of Security Analysis and Design VI
Alessandro Aldini · 2011
A process algebraic approach to software architecture design
Alessandro Aldini · 2010
Foundations of Security Analysis and Design V
Alessandro Aldini · 2009
Foundations of Security Analysis and Design III
Alessandro Aldini · 2005
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops
Alessandro Aldini · 2024
Foundations of Security Analysis and Design VIII
Alessandro Aldini · 2016
Foundations of Security Analysis and Design VII
Alessandro Aldini · 2014
Computer Performance Engineering
Alessandro Aldini · 2010