We have over a million books in stock.
Bookbot
The book is currently out of stock

FM 2015: Formal Methods

20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

Book purchase

FM 2015: Formal Methods, Nikolaj Bjørner

Language
Released
2015
We’ll notify you via email once we track it down.

Payment methods