Fm 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings by Nikolaj BjornerFm 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings by Nikolaj Bjorner

Fm 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

byNikolaj BjornerEditorFrank de Boer

Paperback | June 2, 2015

Pricing and Purchase Info

$126.67 online 
$151.95 list price save 16%
Earn 633 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:Fm 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, ProceedingsFormat:PaperbackDimensions:610 pagesPublished:June 2, 2015Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3319192485

ISBN - 13:9783319192482

Reviews