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)

Space Trajectories: Basic and Advanced Topics

Advanced French Vocabulary: words and phrases by topic for advanced learners