Formal Methods for Software Engineering - 9783030388027

Formal Methods for Software Engineering, Markus Ro

Formal Methods for Software Engineering: Languages, Methods, Application Domains

Siraj Ahmed Shaikh - Formal Methods for Software Engineering Languag - X555z

FORMAL METHODS FOR SOFTWARE ENGINEERING by Markus Roggenbach Paperback Self Help

Formal Methods in Software Engineering by Ajit Singh Paperback Book

Software Engineering and Formal Methods - by Radu Calinescu [English]

Programming Approach to Formal Methods (... by Casey, Chris Paperback / softback