Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

FM 2015: Formal Methods

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

Language EnglishEnglish
Book Paperback
Book FM 2015: Formal Methods Nikolaj Bj?rner
Libristo code: 09277583
Publishers Springer International Publishing AG, May 2015
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods... Full description
? points 136 b
20 339 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Čti a hraj si s námi Ledové království / Book Board book
common.buy 6 579 Ft
Italie - 50 itinéraires de rêve collegium / Book Paperback
common.buy 12 081 Ft
Aquí yace la amargura Cynthia Fleury / E-book Adobe ePub DRM
common.buy 2 382 Ft
Die drei ??? und der schreiende Zug Andreas Ruch / Book Hardback
common.buy 5 427 Ft
New Picture Dictionary (English-Polish) Sedat Turhan / Book Hardback
common.buy 5 546 Ft
Elf Freunde müßt ihr sein . . . Sammy Drechsel / Book Hardback
common.buy 5 666 Ft
凡人同人之超仙：第六部 续立 / Book Paperback
common.buy 18 512 Ft
El diario del anti-suicidas Malaquias 2 Matias Leonel Sarmento / E-book Adobe ePub DRM
common.buy 1 919 Ft
Programmierkurs TURBO-PASCAL Version 7.0 Henning Mittelbach / Book Paperback
common.buy 20 488 Ft
1972 Dr Gustav Keller / Book Paperback
common.buy 3 059 Ft
Schnelle thermische Prozessierung von Cu(In, Ga)Se2-Schichten Christian Merk / Book Paperback
common.buy 18 030 Ft
Die Ritter Vom Geiste, Volumes 1-2 Karl Gutzkow / Book Paperback
common.buy 12 697 Ft
JACK LONDON KOZA / Book Hardback
common.buy 8 526 Ft
Happy House 3rd Edition 1 Class Audio CDs Stella Maidment / Audio Audio CD
common.buy 11 272 Ft
Sin temor Max Lucado / Book Paperback
common.buy 5 666 Ft

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name FM 2015: Formal Methods
Author Nikolaj Bj?rner, Frank de Boer
Language English
Binding Book - Paperback
Date of issue 2015
Number of pages 610
EAN 9783319192482
ISBN 3319192485
Libristo code 09277583
Publishers Springer International Publishing AG
Weight 9358
Dimensions 155 x 235 x 235

Categories

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Computing & Information Technology > Computer hardware > Maintenance & repairs
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Data Mining and Market Intelligence Akinkunmi / Book Paperback
common.buy 21 928 Ft
Mind Diet for Beginners: 85 Recipes and a 7-Day Kickstart Plan to Boost Your Brain Health Kelli McGrane / Book Paperback
common.buy 5 859 Ft
To See My World In Rhythm And Rhyme Thomas Wayne Allen / Book Paperback
common.buy 6 401 Ft
The 22-Day Revolution Marco Borges / Book Hardback
common.buy 10 299 Ft
Thomas Merton and the Inclusive Imagination Ross Labrie / Book Hardback
common.buy 21 780 Ft
Falstaff: Give Me Lifevolume 1 Harold Bloom / Book Paperback
common.buy 5 259 Ft
Philosophy of Law Kant Immanuel Kant / Book Paperback
common.buy 9 216 Ft
Once Upon A Rhyme Julie Murrow / Book Paperback
common.buy 2 324 Ft
KombiFiD - Combined Firm Data for Germany. Joachim Wagner / Book Paperback
common.buy 21 208 Ft
Unofficial Aeropress Coffee Maker Recipe Book Mike Alan / Book Paperback
common.buy 4 648 Ft
Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts Oliver Schlaudt / Book Hardback
common.buy 56 746 Ft
Top
Excellent Women Barbara Pym / E-book Adobe ePub DRM
common.buy 1 201 Ft
Editorial Design Third Edition: Digital and Print CALDWELL CATH / Book Paperback
common.buy 12 200 Ft
Seven Deadly Sins of White Christian Nationalism Carter Heyward / Book Paperback
common.buy 10 939 Ft
Trust Is the Strategy Molly Amarir / Book Paperback
common.buy 5 859 Ft
Solid Waste Management Simeon Dulo / Book Paperback
common.buy 24 912 Ft
Conflict and Compromise Ransom / Book Paperback
common.buy 15 259 Ft
In Search of Lost Time: Volume 2 Marcel Proust / Book Paperback
common.buy 4 514 Ft
Total Heart Health Robert Schneider / Book Paperback
common.buy 6 147 Ft
Manners of Interpretation Miguel Tamen / Book Paperback
common.buy 16 188 Ft
Technology in Retrospect Michael J. Berson / Book Paperback
common.buy 24 788 Ft
Hegel Reader Stephen Houlgate / Book Hardback
common.buy 58 842 Ft
Writer's Roadmap Wendell Wellman / Book Paperback
common.buy 5 785 Ft
Happily Ever After Annette Morris / Book Paperback
common.buy 4 946 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?