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 ».
Books
Formal Specification And Design
<p>Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic.</... »
<p>Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic.</... »
