Welcome to Store Of OurBook
Your shopping cart is empty!
Search in product descriptions
Rs.950.00 Ex Tax: Rs.950.00
Recent years have seen the development of powerful tools for verifying hardware and software systems..
Rs.8,019.00 Ex Tax: Rs.8,019.00
Temporal Logics in Computer Science-Stephane Demri-Cambridge University PressThis comprehensive text..