Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

Composite Mathematics For Class 6

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

Lecture Notes on Graph Theory: Lecture Notes on Graph Theory

Composite Mathematics For Class 7

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Composite Mathematics For Class 8

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

New Mathematics Today Class 8

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

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

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

A Compact & Comprehensive Book of IIT Foundation Maths Class Ix

Deductive Software Verification – The KeY Book: From Theory to Practice

Programming in Haskell: Edition 2

Electronic Voting: 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings

New Mathematics Today Class 7

NCERT Mathematics Practice Book 7

ISC Mathematics Class XII (2021 Edition)

NCERT Mathematics Practice Book 8