Book
Verification of Temporal Properties in Embedded Software
- based on Assertion and Semiformal Verification Approaches «
Score:
Reviews:
Times tipped:
Times read:
Author(s):
Category:
ISBN
9783838112077
Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Reviews of Verification of Temporal Properties in Embedded Software by Djones Lettnin
Verification of Temporal Properties in Embedded Software has been reviewed 0 times. The average score is . 0 people has read the book.
There are no reviews for this book yet.
Idea box
