Real-Time Systems: Formal Specification and Automatic Verification
Cambridge UP
₹ 4,796.00
₹ 7,648.72
✻