Advanced Verification Topics

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

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

Philosophical Logic: An Introduction to Advanced Topics

Space Trajectories: Basic and Advanced Topics