Advanced Verification Topics

Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)

Advanced Topics in Airborne Radar

Advanced Topics in Quantum Mechanics

Advances in Ocular Biomaterials and Delivery Systems (Advanced Topics in Biomaterials)