An Introduction to Practical Formal Methods Using Temporal Logic by Fisher: New

An Introduction to Practical Formal Methods Using Temporal Logic by Fisher

An Introduction to Practical Formal Methods Using Temporal Logic by Michael Fish

Formal Methods for Multi-Agent Feedback Control Systems by Lars Lindemann

Transform Methods in Applied Mathematics : An Introduction, Hardcover by Lanc...

An Introduction to Statistical Methods - Hardcover, by Ott R.; Longnecker - Good

An Introduction to Numerical Methods by Abdelwahab Kharab HARDBACK 9781138093072

Introduction to Health Research Methods: A Practical Guide by Jacobsen