Unifying Theories of Programming
Unifying Theories of Programming
Shengchao Qin
Details
OL Work ID
OL16969885W
Subjects
Logic design
Software engineering
Computer science
Artificial intelligence
Computer programming
Congresses
Find this book
Open Library