Books 1 to 1 of 1
pdf
Predicate Calculus and Program Semantics [Texts and Monographs in Computer Science - 0.0] by Dijkstra, Edsger W. & Scholten, Carel S.29 gen, 2016 DOI=[10.1007/978-1-4612-3228-5] Formats=[PDF] ISBN=[9781461232285] OCLC=[853269493] Year=[2011]
Books 1 to 1 of 1
Switch to the full interface (non-mobile interface)