We have over a million books in stock.

The book is currently out of stock

FM 2015: Formal Methods

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

Authors

Nikolaj Bjørner

Parameters

Categories

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