Don't forget to bookmark this web site !!
Used & Out of Print Books | Contact us | Home

Browse and Compare Price at 40+ Sites and 20,000+ Stores!!

|  FAQ/About us |  Recommend us |  Browse |  Memo |  Book Reviews |  Random Quotes |  Help |

 

Find more info., search and price compare for
Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings (Lecture Notes in Computer Science)
by
Binding: Paperback, 1 edition, 541 pages
Publisher: Springer
List Price: USD $95.00
Weight: 165
Dimension: H: 0.75 x L: 9.2 x W: 0.49 inches
ISBN 10: 3540213775
ISBN 13: 9783540213772
Click here to search for this book and compare price at 40+ bookstores with AddALL.com!

If you cannot find this book in our new and in print search, be sure to try our used and out of print search too!

 

Book Description:
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.

|  Home |  FAQ/About us |  Link to us |  Recommend us |  Contact us |  Bookstores |  Memo |

Shipping Destination:
State:
(US only)
Display in:
Search by:
Searching for Out of Print Books? [Click Here]

[ For web hosting, AddALL recommend Liquidweb]