Lectures on the Logic of Computer Programming Book Discussion
Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31)
by
Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31)