Modular Specification and Verification of Object-Oriented Programs (Lecture Notes in Computer Science, 2262) 2002nd Edition - SuperDrive

Modular Specification and Verification of Object-Oriented Programs (Lecture Notes in Computer Science, 2262) 2002nd Edition

Modular Specification and Verification of Object-Oriented Programs (Lecture Notes in Computer Science, 2262) 2002nd Edition

2.35 MiB

Download ready in 3s