Book
Provides an introduction to the field of formal methods. It combines a rigorous exposition of the underlying mathematics and concrete examples of implementations using real-life tools. «
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 ».
There are no reviews for this book yet.