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 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Integrated Formal Methods

8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

Language EnglishEnglish
Book Paperback
Book Integrated Formal Methods Dominique Méry
Libristo code: 01656785
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, October 2010
This book constitutes the refereed proceedings of the 8th International Conference on Integrated For... Full description
? points 125 b
51.69 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Indigenes Wohnen und Leben in den nördlichen Savannen Afrikas Gerhard Glombiewski / Book Paperback
common.buy 17.90 €
In Wirklichkeit Ist Das Weib Dem Mann UEberlegen Adler Wissa / Book Paperback
common.buy 34.49 €
Het oog der liefde Kent / Audiobook MP3
common.buy 7.17 €
A la orilla de la ziranda: Narrativa Ernesto Adair Zepeda Villarreal / Book Paperback
common.buy 8.59 €
Vingt-Quatre Nouvelles Genevoises, Volume 2 M Ril Catalan / Book Paperback
common.buy 20.73 €
Petite Terreur ou souffre-douleur Stéphane Bourcet / Book Paperback
common.buy 28.42 €
Manejo de maquinaria de corte de bloques de piedra Encarnación López Béjar / Book Paperback
common.buy 23.87 €
Potencial de Croacia como destino turístico para el mercado ruso / Book Paperback
common.buy 35.71 €
Vežovníček Marta Hlušíková; Alena Wagnerová / Book Hardback
common.buy 7.38 €
Jakobsweg ist uberall Olaf Behrens / Book Paperback
common.buy 14.76 €
Die fabelhafte Welt der Libellen (Tischaufsteller DIN A5 quer) Heike Hultsch / Book Paperback
common.buy 16.89 €
Die Langschwanzeidechsen der Gattung Takydromus Uwe Schlüter / Book Paperback
common.buy 15.17 €
Oberwallis Roland Nanzer / Book Hardback
common.buy 34.59 €
Einleitung in Die Psychologie Nach Kritischer Methode Paul Natorp / Book Paperback
common.buy 17.90 €
Einheitliche europaische Akte und europaischer Binnenmarkt Jan Pfitzner / Book Paperback
common.buy 16.18 €
Grundkurs Statistik Fur Politologen Und Soziologen Uwe W. Gehring / Book Paperback
common.buy 51.89 €
Schumann-Handbuch Ulrich Tadday / Book Hardback
common.buy 31.96 €
Die Strafgewalt der Kirche. Wilhelm Rees / Book Paperback
common.buy 94.09 €
Grandes Personajes de la Historia - Biografias noveladas Consuelo Jimenez De Cisneros / Book Paperback
common.buy 14.66 €
Projekt da Vinci - Hledání pravdy DVD + CD (ČJ, AJ, NJ, ŠJ, FJ) / Video Video
common.buy 7.17 €

This book constitutes the refereed proceedings of the 8th International Conference on Integrated Formal Methods, IFM 2010, held in Nancy, France, in October 2010. The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 59 submissions. The papers address the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, refinement, verification and model transformations to type systems, logics, tools and case studies.

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 Integrated Formal Methods
Author Dominique Méry, Stephan Merz
Language English
Binding Book - Paperback
Date of issue 2010
Number of pages 337
EAN 9783642162640
ISBN 3642162649
Libristo code 01656785
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 528
Dimensions 155 x 235 x 19

Categories

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 > Mathematical theory of computation
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

Knight of the White Cross George Alfred Henty / Book Paperback
common.buy 16.18 €
To Duel With the Hands of God James R Elliott / Book Paperback
common.buy 15.57 €
Coffee Table Conversations Tina Divina / Book Paperback
common.buy 20.33 €
Multivariate Statistical Analysis V.I. Serdobolskii / Book Paperback
common.buy 102.99 €
Miscellanies Upon Various Subjects John Aubrey / Book Paperback
common.buy 13.55 €
Measurement of Partial Discharges in Power Transformers using Electromagnetic Signals Sebastian Coenen / Book Paperback
common.buy 21.44 €
Alpha Jasinda Wilder / Book Paperback
common.buy 16.38 €
How to Analyze People Ryan James / Book Paperback
common.buy 18.40 €
Demographic Masculinization of China Isabelle Attané / Book Hardback
common.buy 51.69 €
Transcending Textuality Ariadna Garcia Bryce / Book Paperback
common.buy 47.95 €

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