A textbook with a Practical bent, for final year undergraduate and graduate students, emphasising Formal methods in writing robust code quickly.
Assuming prior experience with C, C++, or Java programming languages, this book examines the interaction between code in a physical machine and the logic applied in creating the software..
A textbook with a Practical bent, for final year undergraduate and graduate students, emphasising Formal methods in writing robust code quickly