Theories of Programming and Formal Methods
Theories of Programming and Formal Methods
Jim Woodcock
,
Zhiming Liu
,
Huibiao Zhu
Details
OL Work ID
OL27355858W
Find this book
Open Library