Skip to main content alibris logo

Model Checking Software

by Alastair Donaldson; David Parker

Image not available
loading
    • eBook Details
    eBook icon PDF eBook Model Checking Software

    This is a digital edition of this title.

    Rent eBook (5 Options)

    Buy eBook

    • Title: Model Checking Software by Alastair Donaldson; David Parker
    • Publisher: Springer Nature
    • Print ISBN: 9783642317583, 3642317588
    • eText ISBN: 9783642317590
    • Edition: 2012 1st edition
    • Format: PDF eBook
    $21.00
    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