What do you think?
Rate this book
Formal Methods: An Appetizer
Program Graphs.- Guarded Commands.- Program Verification.- Program Analysis.- Language-Based Security.- Model Checking.- Procedures.- Concurrency.- Epilogue.- App. A, The MicroC Language.- App. B, Programming Projects.- App. C, Realisation in F#.- App. D, A Learning Environment.- Symbols.- Index.
180 pages, Paperback
Published October 11, 2019
1 person is currently reading
17 people want to read
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.