Skip to main content alibris logo

This book constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK. It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, extension of one method based upon the inclusion of ideas or concepts from others, and semantic integration or practical application.

loading
    • eBook Details
    eBook icon PDF eBook Integrated Formal Methods

    This is a digital edition of this title.

    Rent eBook (5 Options)

    Buy eBook

    • Title: Integrated Formal Methods by Jim Davies; Jeremy Gibbons
    • Publisher: Springer Nature
    • Print ISBN: 9783540732099, 3540732098
    • eText ISBN: 9783540732105
    • Edition: 2007 1st edition
    • Format: PDF eBook
    $38.70
    digital devices
    • This is a digital eBook
      Nothing will be shipped to you
    • Works with web browsers and the VitalSource app on all Windows, Mac, Chromebook, Kindle Fire, iOS, and Android devices
    • Most eBooks are returnable within 14 days of purchase
    • Questions? See our eBook FAQ