Book
Formal VerificationErik Seligman, Tom Schubert et al.

Formal Verification

408 pagesFirst published 20153 editions
No counted ratings yet

Add to shelfAdd to list

Track this book

You choose which shelves are public. Progress and read dates stay yours.
Sign in

Rating integrity

Healthy
Scores only count accounts older than 7 days and ratings made after publication; read-verified ratings weigh double; ratings from readers who didn’t finish are shown but not counted.

How it felt

Be the first to tag this

Reviews

No reviews yet. Sign in to write the first.

Editions

3 editions
  • Other · English · 2023
    Elsevier Science & Technology Books · 9780323956130
  • Other · English · 2023
    Elsevier Science & Technology · 9780323956123
  • Other · English · 2015
    Elsevier Science & Technology Books · 408 pages · 9780128008157