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

Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.

Language EnglishEnglish
Book Paperback
Book Integrated Formal Methods Michael Butler
Libristo code: 01564333
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, May 2002
This book constitutes the refereed proceedings of the Third International Conference on Integrated F... Full description
? points 125 b
51.75 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Walter Petters: Praktische Strafrechtsfalle Mit Loesungen. Teil 1 Walter Petters / Book Hardback
common.buy 109.38 €
Haftung Und Besteuerung Des Vermoegensberaters Werner Klumpe / Book Paperback
common.buy 53.16 €
Rumanische Marchen Mite Kremnitz / Book Paperback
common.buy 23.28 €
Özel Tüketim Vergisi Kanunu / Book Paperback
common.buy 15.18 €
MATÉRIAUX - Mise en forme des métaux - Plasticité, rhéologie, tribologie Felder / Book Paperback
common.buy 49.52 €
Divan Ahmed Akir Paa / Book Paperback
common.buy 19.33 €
Das Forvm Romanvm: Seine Geschichte Und Seine Denkmaler (1905) Christian Huelsen / Book Paperback
common.buy 29.77 €
Ciceron, Correspondance: (Mars 49 - Avril 46 Avant J.-C.) Jean Beaujeu / Book Paperback
common.buy 61.37 €
Mein Gestern Manfred Jurgensen / Book Paperback
common.buy 15.18 €
Apokalypse Adrienne von Speyr / Book Hardback
common.buy 39.39 €
Neocortext Vojtěch Němec / Book Paperback
common.buy 7.59 €
Lettres A M. Le Duc de Blacas d'Aulps Relatives Au Musee Royal Egyptien de Turin, 2eme Lettre CHAMPOLLION-J / Book Paperback
common.buy 18.42 €

This book constitutes the refereed proceedings of the Third International Conference on Integrated Formal Methods, IFM 2002, held in Turku, Finland, in May 2002.The 18 revised full papers presented together with three invited papers were carefully reviewed and selected from a total of 46 submissions. The papers are organized in topical sections on integration, simulation, and animation; from specification to verification; statcharts and B: integration and translation; model checkers and theorem provers; links between object-Z and CSP; combining graphical and formal approaches; and refinement and proof.

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 Michael Butler, Luigia Petre, Kaisa Sere
Language English
Binding Book - Paperback
Date of issue 2002
Number of pages 401
EAN 9783540437031
ISBN 3540437037
Libristo code 01564333
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1280
Dimensions 155 x 235 x 23

Categories

Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
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
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

Biotechnology Fundamentals Khan / Book Paperback
common.buy 95.60 €
Learning Pentaho Data Integration 8 CE - Third Edition Maria Carina Roldan / Book Paperback
common.buy 56.30 €
Spawn: Origins Deluxe Edition 3 Brian Holguin / Book Hardback
common.buy 75.24 €
Sufism Alexander Knysh / Book Paperback
common.buy 30.88 €
Frankissstein Jeanette Winterson / Book Paperback
common.buy 13.56 €
Melchizedek: Unmasked Baal Kadmon / Book Paperback
common.buy 14.88 €
Aesop's Fables Santore Charles / Book Hardback
common.buy 13.97 €
Barnes' Popular History Of The United States Of America V1 (1904) Joel Dorman Steele / Book Paperback
common.buy 33.62 €
The Critical Care Pocket Guide Sergio Niosi / Book Paperback
common.buy 10.62 €
Konohana Kitan, Volume 2 Sakuya Amano / E-book Adobe ePub DRM
common.buy 7.79 €
Destroyer of the gods Larry W. Hurtado / E-book Adobe ePub DRM
common.buy 35.03 €
The Last Song of Penelope NORTH CLAIRE / Book Paperback
common.buy 15.79 €
Tales of Wedding Rings, Vol. 15 Andrew Cunningham / Book Paperback
common.buy 12.14 €
Crazy Sexy Diet Kris Carr / Book Paperback
common.buy 22.88 €
Essential David Bohm Lee Nichol / Book Paperback
common.buy 59.75 €
Collected Short Stories Aldous Huxley / Book Paperback
common.buy 22.17 €
Political Thought and the Public Sphere in Tanzania Emma Hunter / Book Hardback
common.buy 127.61 €
Pandora's Box Trilogy Adam Teachout / Book Paperback
common.buy 19.33 €
Anti-Money Laundering: What You Need to Know (Jersey fiduciary edition): A concise guide to anti-money laundering and countering the financin Susan Grossey / Book Paperback
common.buy 8.30 €
Dark Magic Christine Feehan / Book Paperback
common.buy 13.97 €

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?