The calculus of computation
The calculus of computation
Aaron R. Bradley
Details
OL Work ID
OL11675489W
Subjects
Computer logic
Verification
Computer programs
Computer software, testing
Logic programming
Find this book
Open Library