- Author: Leonard Lee
- Language: English
- Year: 1992
Program Proofs
epub
- Author: K. Rustan M. Leino
- Language: English
- Year: 2023
Mathematics in Computing: An Accessible Guide to Historical, Foundational and Application Contexts
pdf
- Author: Gerard O’Regan
- Language: English
- Year: 2012
- Author: Sahinoglu Mehmet
- Language: English
- Year: 2016
- Author: Safonov V. O
- Language: English
- Year: 2010
- Author: Laster Brent
- Language: English
- Year: 2018
- Author: Laster Brent
- Language: English
- Year: 2018
- Author: Laster Brent
- Language: English
- Year: 2018
- Author: Hoffman Douglas, Kaner Cem, Padmanabhan Sowmya
- Language: English
- Year: 2013
- Author: Howard Michael, Lipner Steve
- Language: English
- Year: 2009