From Action Systems to Distributed Systems: The Refinement Approach

Composite Mathematics For Class 6

Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

Lecture Notes on Graph Theory: Lecture Notes on Graph Theory

Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Composite Mathematics For Class 7

Composite Mathematics For Class 8

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

New Mathematics Today Class 8

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

A Compact & Comprehensive Book of IIT Foundation Maths Class Ix

Problems and Solutions for Integer and Combinatorial Optimization: Building Skills in Discrete Optimization

Programming in Haskell: Edition 2

New Mathematics Today Class 7

NCERT Mathematics Practice Book 7

ISC Mathematics Class XII (2021 Edition)

NCERT Mathematics Practice Book 8

ISC Mathematics for Class XI (2021 Edition)

New Learning Composite Mathematics 5

Learning Composite Mathematics -5