Skip to content
Vinony

Software Engineering and Formal Methods

by Radu Calinescu, Bernhard Rumpe

Cover of Software Engineering and Formal Methods

No description available.

Logic, symbolic and mathematicalSoftware engineering
Software Engineering and Formal Methods by Radu Calinescu, Bernhard Rumpe — book · Vinony