Code: 09277583

FM 2015: Formal Methods

Name: FM 2015: Formal Methods
Brand: Springer International Publishing AG
SKU: 09277583
Price: 51.78 EUR
Availability: InStock
Author: Nikolaj Bj?rner
ISBN: 9783319192482

by Nikolaj Bj?rner, Frank de Boer

Language: English
Binding: Paperback
Number of pages: 610
Publisher: Springer International Publishing AG, 2015
More about this

51.78 €

RRP: 56.07 €

You save 4.29 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Pip and Posy: The Bedtime Frog
10.83 € -24 %
Buy
Falstaff: Give Me Lifevolume 1
12.05 € -25 %
Buy
Happy House 3rd Edition 1 Class Audio CDs
30.29 € -4 %
Buy
Mind Diet for Beginners: 85 Recipes and a 7-Day Kickstart Plan to Boost Your Brain Health
13.47 € -24 %
Buy
Čti a hraj si s námi Ledové království
17.12 € -17 %
Buy
Hegel Reader
160.42 € -9 %
Buy
KombiFiD - Combined Firm Data for Germany.
58.87 €
Buy
Little
23.20 €
Buy
Elf Freunde müßt ihr sein . . .
13.57 € -10 %
Buy
To See My World In Rhythm And Rhyme
16.61 €
Buy
Writer's Roadmap
13.67 € -6 %
Buy
Philosophy of Law
23.30 € -14 %
Buy
Fallows
26.95 €
Buy
Technology in Retrospect
59.28 €
Buy
Die Ritter Vom Geiste, Volumes 1-2
30.09 € -2 %
Buy
Federal Civil Penalties Inflation Adjustment Act Catch-Up Adjustments (US Occupational Safety and Health Administration Regulation) (OSHA) (2018 Editi
18.33 € -6 %
Buy
Schnelle thermische Prozessierung von Cu(In, Ga)Se2-Schichten
50.05 € -3 %
Buy
Die drei ??? und der schreiende Zug
13.57 € -16 %
Buy
Italie - 50 itinéraires de rêve
34.45 €
Buy
Thomas Merton and the Inclusive Imagination
51.17 €
Buy
Seven Deadly Sins of White Christian Nationalism
26.24 €
Buy
Total Heart Health
14.08 € -25 %
Buy
Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts
144.31 € -7 %
Buy
Once Upon A Rhyme
5.56 € -1 %
Buy
Happily Ever After
11.34 € -24 %
Buy
JACK LONDON
21.27 € -9 %
Buy
1972
7.89 €
Buy
Silent Scream
20.36 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 125 loyalty points

Book synopsis

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. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.

Book details

Book category Books in English Computing & information technology Computer science Human-computer interaction

51.78 €

Full title: FM 2015: Formal Methods
Subtitle: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Author: Nikolaj Bj?rner, Frank de Boer
Language: English
Binding: Paperback
Number of pages: 610
EAN: 9783319192482
ISBN: 3319192485
ID: 09277583
Publisher: Springer International Publishing AG
Weight: 9358 g
Dimensions: 235 × 155 × 235 mm
Date of publishing: 20. May 2015