Inside Windows Debugging: A Practical Guide to Debugging and Tracing Strategies in Windows
- Length: 592 pages
- Publication Date: 2012-05-18
Foundations of Algebraic Specification and Formal Software Development
- Length: 597 pages
- Publication Date: 2012-01-03
The Unknown Component Problem: Theory and Applications
by Alan Mishchenko, Alberto Sangiovanni-Vincentelli, Alexandre Petrenko, Nina Yevtushenko, Robert K. Brayton, Tiziano Villa
- Length: 326 pages
- Publication Date: 2011-11-15