
Practical Formal Methods in Software Engineering
Versandkostenfrei!
Versandfertig in über 4 Wochen
52,99 €
inkl. MwSt.
PAYBACK Punkte
26 °P sammeln!
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.