- Specifying Systems: The Tla+ Language and Tools for Hardware and Software EngineersLamport, Leslie
Paperback - C Interfaces and Implementations: Techniques for Creating Reusable SoftwareHanson, David R.
Paperback - Exploratory Software Testing: Tips, Tricks, Tours, and Techniques to Guide Test DesignWhittaker, James
Paperback - Untrapping Product Teams: Simplify the Complexity of Creating Digital ProductsPereira, David
Paperback - Sse, Sase, and Zero Trust: Mastering Security Beyond Borders with Next-Gen Edge TechnologiesShoemaker, Ryan
Paperback
