Skip to main content alibris logo

Formal Verification

by Erik Seligman; Tom Schubert; M. V. Achutha Kiran Kumar

Image not available
loading
    • eBook Details
    eBook icon EPUB eBook Formal Verification

    This is a digital edition of this title.

    Buy eBook

    • Title: Formal Verification by Erik Seligman; Tom Schubert; M. V. Achutha Kiran Kumar
    • Publisher: Elsevier S & T
    • Print ISBN: 9780323956123, 0323956122
    • eText ISBN: 9780323956130
    • Edition: 2023 2nd edition
    • Format: EPUB eBook
    $115.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