Formal MethodsFlemming Nielson
Formal Methods
Flemming Nielson, Hanne Riis Nielson · 2019
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2019
- Publisher
- Springer
- Editions
- 1
- Pages
- 160
- ISBN
- 9783030051556
Data source: Wikidata
More by Flemming Nielson
ML with ConcurrencyFlemming Nielson
ML with Concurrency
Flemming Nielson · 2012
Two-level functional languagesFlemming Nielson
Two-level functional languages
Flemming Nielson · 2005
Principles of program analysisFlemming Nielson
Principles of program analysis
Flemming Nielson · 2004
ML With ConcurrencyFlemming Nielson
ML With Concurrency
Flemming Nielson · 1996
Principles of Security and TrustFlemming Nielson
Principles of Security and Trust
Flemming Nielson · 2020