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 courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 136 b
19 925 Ft
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 6 969 Ft
In Wirklichkeit Ist Das Weib Dem Mann UEberlegen Adler Wissa / Book Paperback
common.buy 13 192 Ft
Het oog der liefde Kent / Audiobook MP3
common.buy 2 540 Ft
A la orilla de la ziranda: Narrativa Ernesto Adair Zepeda Villarreal / Book Paperback
common.buy 3 285 Ft
Vingt-Quatre Nouvelles Genevoises, Volume 2 M Ril Catalan / Book Paperback
common.buy 8 116 Ft
Petite Terreur ou souffre-douleur Stéphane Bourcet / Book Paperback
common.buy 10 083 Ft
Manejo de maquinaria de corte de bloques de piedra Encarnación López Béjar / Book Paperback
common.buy 8 468 Ft
Potencial de Croacia como destino turístico para el mercado ruso / Book Paperback
common.buy 13 849 Ft
Vežovníček Marta Hlušíková; Alena Wagnerová / Book Hardback
common.buy 2 716 Ft
Jakobsweg ist uberall Olaf Behrens / Book Paperback
common.buy 5 752 Ft
Die fabelhafte Welt der Libellen (Tischaufsteller DIN A5 quer) Heike Hultsch / Book Paperback
common.buy 6 557 Ft
Die Langschwanzeidechsen der Gattung Takydromus Uwe Schlüter / Book Paperback
common.buy 5 914 Ft
Oberwallis Roland Nanzer / Book Hardback
common.buy 12 295 Ft
Einleitung in Die Psychologie Nach Kritischer Methode Paul Natorp / Book Paperback
common.buy 6 969 Ft
Einheitliche europaische Akte und europaischer Binnenmarkt Jan Pfitzner / Book Paperback
common.buy 6 279 Ft
Grundkurs Statistik Fur Politologen Und Soziologen Uwe W. Gehring / Book Paperback
common.buy 20 059 Ft
Schumann-Handbuch Ulrich Tadday / Book Hardback
common.buy 12 341 Ft
Die Strafgewalt der Kirche. Wilhelm Rees / Book Paperback
common.buy 36 361 Ft
Grandes Personajes de la Historia - Biografias noveladas Consuelo Jimenez De Cisneros / Book Paperback
common.buy 5 340 Ft
Projekt da Vinci - Hledání pravdy DVD + CD (ČJ, AJ, NJ, ŠJ, FJ) / Video Video
common.buy 2 540 Ft

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 6 265 Ft
To Duel With the Hands of God James R Elliott / Book Paperback
common.buy 5 941 Ft
Coffee Table Conversations Tina Divina / Book Paperback
common.buy 7 746 Ft
Multivariate Statistical Analysis V.I. Serdobolskii / Book Paperback
common.buy 39 735 Ft
Miscellanies Upon Various Subjects John Aubrey / Book Paperback
common.buy 5 238 Ft
Measurement of Partial Discharges in Power Transformers using Electromagnetic Signals Sebastian Coenen / Book Paperback
common.buy 8 334 Ft
Alpha Jasinda Wilder / Book Paperback
common.buy 6 279 Ft
How to Analyze People Ryan James / Book Paperback
common.buy 7 070 Ft
Demographic Masculinization of China Isabelle Attané / Book Hardback
common.buy 19 925 Ft
Transcending Textuality Ariadna Garcia Bryce / Book Paperback
common.buy 18 120 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?