Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Cambridge UP
₹ 13,510.00
₹ 21,547.50
✻