Skip to main content alibris logo

Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. FM'99, the First World Congress on Formal Methods in the Development of Computing Systems, is a result, and a measure, of this new-found maturity. It brings an impressive array of industrial and applications-oriented papers that ...

    • eBook Details
    eBook icon PDF eBook Fm'99-Formal Methods

    This is a digital edition of this title.

    Rent eBook (5 Options)

    Buy eBook

    • Title: Fm'99-Formal Methods by Jeannette M. Wing; Jim Woodcook; Jim Davies
    • Publisher: Springer Nature
    • Print ISBN: 9783540665885, 3540665889
    • eText ISBN: 9783540481188
    • Edition: 1999 1st edition
    • Format: PDF eBook
    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