FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings - Lecture Notes in Computer Science - Nikolaj Bjorner - Books - Springer International Publishing AG - 9783319192482 - June 2, 2015
In case cover and title do not match, the title is correct

Nikolaj Bjorner
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings - Lecture Notes in Computer Science 2015 edition

Price
$ 55.99
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 29 - Jan 8, 2026
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions.

610 pages, 156 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released June 2, 2015
ISBN13 9783319192482
Publishers Springer International Publishing AG
Pages 610
Dimensions 155 × 235 × 32 mm   ·   9.36 kg
Language French  
Editor Bjørner, Nikolaj
Editor De Boer, Frank

More by Nikolaj Bjorner

Show all

See all of Nikolaj Bjorner ( e.g. Paperback Book )