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 69.99 €
DPD courier 3.99 € DPD point 3.49 € GLS courier 4.99 € GLS point 3.99 € Croatian Post 4.99 € Overseas courier 4.99 € Box Now 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro

FM 2008: Formal Methods

15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008

Language EnglishEnglish
Book Paperback
Book FM 2008: Formal Methods Jorge Cuellar
Libristo code: 01567668
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, May 2008
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, F... Full description
? points 125 b
51.36 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

La grande escapade Blondel / Book Paperback
common.buy 20.70 €
Литература. 5 класс. Учебник. В двух частях Вера Коровина / Book Hardback
common.buy 36.69 €
Ošetřovatelství pro střední zdravotnické školy II Pediatrie, Chirurgie Lenka Slezáková / Book Paperback
common.buy 11.25 €
Телефонна агітація Noe Spies / E-book Adobe ePub DRM
common.buy 10.75 €
Réfractions Docteur Emmanuel Bui Quoc / Book Paperback
common.buy 158.53 €
Uomo Lupo John Reinhard Dizon / Book Paperback
common.buy 12.76 €
Petit Solfege Harmonique. Livre 1 Édouard Batiste / Book Paperback
common.buy 17.78 €
Sur Un Lithotriteur Courbe, Fort Simple Et Sur Une Modification Du Brisepierre, de M. Jacobson SEGALAS D'ETCHEPARE-P-S / Book Paperback
common.buy 12.96 €
L'art D'élever Les Vers ? Soir ... Vincenzo Dandolo / Book Paperback
common.buy 26.53 €
Petite Legende Doree de la Haute-Bretagne (Ed.1897) Paul Sebillot / Book Paperback
common.buy 18.39 €
Nachhilfe Mathematik - Teil 2: Bruchrechnen und Dezimalzahlen Erich Bulitta / Book Paperback
common.buy 13.46 €
Kansas City Jazz DANIEL NEVERS / Book binding.
common.buy 29.95 €
Passion,pain & poetry Sabine Seide/Müller / Audio Audio CD
common.buy 13.67 €

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008.§The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.

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 2008: Formal Methods
Author Jorge Cuellar, Tom Maibaum
Language English
Binding Book - Paperback
Date of issue 2008
Number of pages 436
EAN 9783540682356
ISBN 354068235X
Libristo code 01567668
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 694
Dimensions 155 x 235 x 25

Categories

Computing & Information Technology > Computer hardware > Maintenance & repairs
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
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

Laparoscopic Urologic Oncology Jeffrey A. Cadeddu / Book Hardback
common.buy 171.30 €
Studio Ghibli Spirited Away Notebook Studio Ghibli / Calendar/Diary Diary
common.buy 13.36 €
Birth Canal Dias Novita Wuri / Book Paperback
common.buy 15.68 €
Winter World Bernd Heinrich / E-book Adobe ePub DRM
common.buy 10.35 €
Carousel: sequel to Helter-Skelter Elizabeth Young / Book Paperback
common.buy 12.46 €
Singularity 2.0 - The Sequel George H. Rothacker / Book Paperback
common.buy 32.97 €
Forgiveness: Write It Out and Let It Go Breathe And Reboot / Book Paperback
common.buy 7.73 €
Brotherhood of the Rosy Cross - A History of the Rosicrucians ARTHUR EDWARD WAITE / Book Paperback
common.buy 31.36 €
Abuse Nikki Sex / Book Paperback
common.buy 15.07 €
NEW DANGERS TO FREEDOM: AND NEW DUTIES F HORACE MANN / Book Paperback
common.buy 14.87 €
White Rabbit Time Lynda / Book Paperback
common.buy 8.64 €
One And The Same Roberta Stiger-Taylor / Book Paperback
common.buy 13.46 €
The Star-Spangled Banner for Harp Sylvia Woods / Book Paperback
common.buy 7.23 €
Punishment and Politics Michael Tonry / Book Hardback
common.buy 290.73 €
Representations on the Margins of Europe Tsypylma Darieva / Book Paperback
common.buy 46.44 €
Visigothic Spain 409-711 Roger Collins / Book Hardback
common.buy 117.82 €
Population Politics and Development Lisa Ann Richey / Book Hardback
common.buy 59.91 €
Reading the Sealed Book J. Ross Wagner / Book Paperback
common.buy 65.14 €
Henrietta Temple a Love Story Benjamin / Book Paperback
common.buy 17.78 €

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?