EBooks by Bruce Mills
Fetched: July 3rd, 2009, 4:36pm CEST by Bruce Mills
Practical Formal Software Engineering is a textbook aimed at final year undergraduate and graduate students, emphasizing formal methods in writing robust code quickly...
Full download