10% off all books and free delivery over £40

Buy from our bookstore and 25% of the cover price will be given to a school of your choice to buy more books. *15% of eBooks.

Books By Sriram Sankaranarayanan - Author

Book Cover for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20 by Sriram Sankaranarayanan

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20

Sriram Sankaranarayanan

Paperback

Book Cover for Formal Modeling and Analysis of Timed Systems by Sriram Sankaranarayanan

Formal Modeling and Analysis of Timed Systems

Sriram Sankaranarayanan

Paperback