ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings

Composite Mathematics For Class 6

Channel Estimation for Physical Layer Network Coding Systems

Lecture Notes on Graph Theory: Lecture Notes on Graph Theory

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Composite Mathematics For Class 7

Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Composite Mathematics For Class 8

Electronic Visualisation in Arts and Culture

New Mathematics Today Class 8

Provably Correct Systems

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

Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers

A Compact & Comprehensive Book of IIT Foundation Maths Class Ix

Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

Programming in Haskell: Edition 2

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday

New Mathematics Today Class 7

Formal Methods: State of the Art and New Directions

NCERT Mathematics Practice Book 7