Practical Formal Software Engineering: Wanting The Software You Get(Hardcover, Bruce Mills)
Quick Overview
Product Price Comparison
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.