Software Engineering and Formal Methods
Software Engineering and Formal Methods
Bernhard Rumpe
,
Radu Calinescu
Details
OL Work ID
OL20781918W
Subjects
Logic, symbolic and mathematical
Software engineering
Find this book
Open Library