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

FM 2012: Formal Methods

18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

Language EnglishEnglish
Book Paperback
Book FM 2012: Formal Methods Dimitra Giannakopoulou
Libristo code: 01661952
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, July 2012
This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods... Full description
? points 118 b
48.53 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Elemente Der Ersten Hauptgruppe; Einschl. Ammonium; Horst Schilling / Book Paperback
common.buy 80.08 €
Antes de convertirnos en piedra Sergio (Mr. Wandererr) Chico / E-book Adobe ePub DRM
common.buy 6.22 €
PRACTICAS LINGUISTICAS NA INFANCIA MONTEAGUDO / Book Paperback
common.buy 27.93 €
Hold Your Ground Khymera / Audio Audio CD
common.buy 15.16 €
Kostým Transformers Optimus / Game/Toy Toy
common.buy 22.90 €
Dárek z pouti Luboš Kafka / Book Hardback
common.buy 22.70 €
Postdata E.M.A / Book Paperback
common.buy 16.37 €
OFFENBACH BELLE HELENE AIR NO 11 INVOCATION A VENUS SOPRANO & PIANO BK OFFENBACH Book binding.
common.buy 15.37 €
JOHANN NIKOLAUS HANFF: CHORALE: ACH GOTT, VOM HIMMEL SIEH DAREIN (MAITRES NO.52) (ORGAN) HANFF Book binding.
common.buy 12.05 €
La politique étrangère de Jacques Chirac Maurice Vaisse / Book Paperback
common.buy 22.90 €
Le Macon Demasque: Ou Le Vrai Secret Des Francs Masons (1751) Thomas Wilson / Book Paperback
common.buy 22.60 €
Kapitan Żbik Porwanie Część 4 Praca zbiorowa / Book Paperback
common.buy 3.11 €
GER-GESCHICHTE DER LEIPZIGER M Ernst Hasse / Book Hardback
common.buy 43.12 €
Enfermedades neuro-metabólicas en la infancia Rafael Palencia Luaces / Book Paperback
common.buy 19.18 €
Royalle Reception de Leurs Majestez Tres-Chrestiennes En La Ville de Bourdeaus Garasse-F / Book Paperback
common.buy 25.52 €
Formirovanie portfelya na osnove mery riska Value-At-Risk Elena Kolyasnikova / Book Paperback
common.buy 51.64 €
Furstenfeldbruck-Literarisch Angelika Mundorff / Book Paperback
common.buy 18.28 €
Das große Limpert-Buch der Zirkuskünste Stefan Eberherr / Book Hardback
common.buy 35.46 €
Mass Customization - Die Auswirkung des Individualisierungsgrades auf die Zahlungsbereitschaft Thomas Funke / Book Paperback
common.buy 42.50 €
Machtergreifung des Nationalsozialismus und Massnahmen zur Machtsicherung Patrick Pigan / Book Paperback
common.buy 42.50 €

This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.

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 2012: Formal Methods
Author Dimitra Giannakopoulou, Dominique Mery
Language English
Binding Book - Paperback
Date of issue 2012
Number of pages 488
EAN 9783642327582
ISBN 3642327583
Libristo code 01661952
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 765
Dimensions 155 x 235 x 28

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
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

Th Thorium Robert G. Behrens / Book Paperback
common.buy 636.11 €
Works of William H. Seward William Henry Seward / Book Paperback
common.buy 34.16 €
Coming soon
Traces Bettina Bock von Wülfingen / Book Paperback
common.buy 43.30 €
Educating Yourself About Alcohol and Drugs Marc Alan Schuckit / Book Paperback
common.buy 48.53 €
Strategy-specific Decision Making: A Guide for Executing Competitive Strategy William G. Forgang / Book Hardback
common.buy 226.20 €
To Re-Enchant the World Richard Grigg / Book Paperback
common.buy 18.28 €
Lyrics of the Heart Janaan Mitchell / Book Hardback
common.buy 21.60 €
Coming soon
Arduino Inventor's Guide Derek Runberg / Book Paperback
common.buy 28.33 €
Life Behind Bars Gordon Culpin / Book Paperback
common.buy 43.40 €
WAIFS, AND THEIR AUTHORS ALPHONSO AL HOPKINS / Book Hardback
common.buy 35.16 €
Comparative Study of Chinese and Western Cyclic Myths Robert Shanmu Chen / Book Hardback
common.buy 50.64 €
Evacuee War Katie King / Book Paperback
common.buy 9.03 €
Coming soon
Blood Rage Rozszerzenie dla 5 graczy Eric M. Lang / Stationery items Stationery items
common.buy 39.68 €
Coming soon
Eiji and Shiro Kaya Azuma / Book Paperback
common.buy 12.55 €
Summer Session Number; 1910-13 University of Connecticut / Book Paperback
common.buy 16.87 €
Research Handbook on Political Representation Maurizio Cotta / Book Hardback
common.buy 275.44 €
Dancing With Danger Byrne Kerrigan Byrne / Book Paperback
common.buy 12.05 €
Confederate Edged Weapons William a. 1908- Albaugh / Book Hardback
common.buy 35.68 €
Sentimental Education James Donald / Book Paperback
common.buy 25.62 €
New Inside Out Advanced Teachers DVD Book Sue Kay / Book Paperback
common.buy 12.76 €
European Rural Landscapes H. Palang / Book Hardback
common.buy 193.24 €
Delcy Morelos /anglais/espagnol Kamilah N Foreman / Book Paperback
common.buy 46.12 €
New South A Chronicle of Social and Industrial Evolution Holland Thompson / Book Hardback
common.buy 16.77 €
Methods of Cancer Diagnosis, Therapy, and Prognosis M. A. Hayat / Book Paperback
common.buy 289.81 €

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?