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
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €
phone Contact phoneHow to shop

Integrated Formal Methods

4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004.Proceedings

Language EnglishEnglish
Book Paperback
Book Integrated Formal Methods Eerke A. Boiten
Libristo code: 01559229
Publishers Springer, Berlin, November 2003
This book constitutes the refereed proceedings of the 4th International Conference on Integrated For... Full description
? points 132 b
53.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Simulieren Und Entscheiden Michael Resch / Book Paperback
common.buy 55.29 €
Lukittu Unkuri / Audiobook MP3
common.buy 9.99 €
Telemedizin Karolina Budych / E-book Adobe ePub DRM
common.buy 29.69 €
Hitlers Rache Friedrich-Wilhelm von Hase / E-book Adobe ePub DRM
common.buy 11.39 €
Untersuchungen zu Ciceros philosophischen Schriften Rudolf Hirzel / Book Paperback
common.buy 18.29 €
MUSIC FOR A LOCKED IN DOUBLE BASS TORRES / Audio Audio CD
common.buy 19.49 €
Россия в мире: образы и грани взаимодействия Александр Чубарьян / Book Paperback
common.buy 53.39 €
Miraculous-X-mas Box-Hörspiele / Audio Audio CD
common.buy 15.59 €
Psychiatrie Wolfgang Frank / Book Paperback
common.buy 55.09 €
BABADADA, shqipe - Nederlands, fjalor me ilustrime - beeldwoordenboek Babadada GmbH / Book Paperback
common.buy 29.49 €
Streichquartett Nr. 1 Isang Yun / Book Sheet
common.buy 67.59 €
La Piraterie Maritime En Afrique Orientale Gottfried Soelle Mboundja / Book Paperback
common.buy 64.39 €
Totschlager Emil (Ü: Franz Blei) Zola / Book Paperback
common.buy 19.90 €

This book constitutes the refereed proceedings of the 4th International Conference on Integrated Formal Methods, IFM 2004, held in Canterbury, UK, in April 2004.The 24 revised full papers presented together with 3 invited papers and one invited tutorial chapter were carefully reviewed and selected from 65 submissions. The papers are devoted to automating program analysis, state/event-based verification, formalizing graphical notions, refinement, object-orientation, hybrid and timed automata, integration frameworks, verifying interactive systems, and testing and assertions.

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 Eerke A. Boiten, John Derrick, Graeme Smith
Language English
Binding Book - Paperback
Date of issue 2004
Number of pages 548
EAN 9783540213772
ISBN 3540213775
Libristo code 01559229
Publishers Springer, Berlin
Weight 820
Dimensions 156 x 234 x 28

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
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

Welsh Calendar Cookbook Gilli Davies / Book Paperback
common.buy 10.09 €
Memories That Smell like Gasoline David Wojnarowicz / E-book Adobe ePub DRM
common.buy 17.89 €
Probiotics for Sustainable Food and Medicine Laghulkar Anita Marotirao / Book Hardback
common.buy 200.09 €
AQA GCSE French Higher Practice Papers JEAN-CLAUDE GILLES / Book Paperback
common.buy 15.19 €
Key to kid: How I was able to realize my dream ..? Nothim Assange / Book Paperback
common.buy 29.49 €
Intelligent Data Engineering and Automated Learning Rashid Syed Zahidur / Book Paperback
common.buy 83.79 €
Statistical Design and Analysis in Pharmaceutical Science Jen-pei Liu / Book Hardback
common.buy 224.29 €
Forerunners and Rivals of Christianity: Volume 2 F. Legge / Book Paperback
common.buy 55.79 €
Advances in Microwave and Radio Frequency Processing M. Willert-Porada / Book Hardback
common.buy 349.89 €
Replacement of Renal Function by Dialysis C. Jacobs / Book Hardback
common.buy 114.19 €
Terror in Ireland David Fitzpatrick / Book Paperback
common.buy 20.39 €
Color Atlas of Thyroid Surgery Youn / Book Hardback
common.buy 136.49 €
Anatomy of High Performing Teams Marilyn Laiken / Book Paperback
common.buy 47.99 €
New York Yankees Matt Christopher / Book Paperback
common.buy 10.39 €
Classic Tales Second Edition: Level 1: Peach Boy Sue Arengo / Book Paperback
common.buy 11.99 €

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?