Verification of Sequential and Concurrent Programs (Texts in Computer Science) 2nd Edition

6.94 MiB

Download ready in 3s