Mário S. Alvim
The Art of Modelling Computational Systems : A Journey from Logic and Concurrency to Security and Privacy
Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia · 2019
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 AmazonBook details
- Year
- 2019
- Publisher
- Springer
- Editions
- 1
- Pages
- 495
- ISBN
- 9783030311742
Data source: Wikidata
