Skip to main content alibris logo

This textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs to techniques for the analysis and verification of programs. The authors use program graphs as the mechanism for representing the control structure of programs in order to find a balance between generality and conceptual complexity. The early chapters on program graphs and the Guarded Commands language are sufficient introduction for most readers to then enjoy a plug-and-play approach to the remaining ...

loading
    • eBook Details
    eBook icon PDF eBook Formal Methods

    This is a digital edition of this title.

    Rent eBook (5 Options)

    Buy eBook

    • Title: Formal Methods by Flemming Nielson; Hanne Riis Nielson
    • Publisher: Springer Nature
    • Print ISBN: 9783030051556, 3030051552
    • eText ISBN: 9783030051563
    • Edition: 2019 2019 edition
    • Format: PDF eBook
    $16.50
    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