👤

Chris Casey

4 books

Books by Chris Casey

Bruin's Wake
Bruin's Wake
2008
The Hill on the Net
The Hill on the Net
1996
The year 2000--turning oh-oh i
The year 2000--turning oh-oh into OK
1996
A programming approach to form
A programming approach to formal methods
1994