Formal Methods
Formal Methods
E.W. Beth
Details
OL Work ID
OL9095639W
Subjects
Logic, symbolic and mathematical
Find this book
Open Library