FM 2015 : Formal MethodsNikolaj Bjørner
FM 2015 : Formal Methods
Nikolaj Bjørner, Frank de Boer · 2015
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
- 2015
- Language
- English
- Publisher
- Springer London, Limited
- Editions
- 2
- ISBN
- 9783319192499
Data source: Wikidata
