Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

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

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

Composite Mathematics For Class 7

Composite Mathematics For Class 8

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

New Mathematics Today Class 8

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

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

Handbook of Tableau Methods

A Compact & Comprehensive Book of IIT Foundation Maths Class Ix

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

Programming in Haskell: Edition 2

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

New Mathematics Today Class 7

Active Object Languages: Current Research Trends

NCERT Mathematics Practice Book 7

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