Includes supplementary material: sn.pub/extras
Mehdi Jazayeri
Abstract Representations Generic Algorithms Generic Data Structures Generic Programming Java Model Checking Programming Methodology STL Software Components Software Construction algorithm algorithms data structure performance programming