Predicate Calculus and Program Semantics - 9781461279242

Predicate Calculus and Program Semantics Edsger W. Dijkstra Sprin

Shurman - Calculus and Analysis in Euclidean Space - New paperback or - X555z

Structured Programming by Edsger Wybe Dijkstra; C. A. R. Hoare; Ole-Johan Dahl

Pustejovsky - Semantics and The Lexicon - New paperback or softback - - X555z

Manes - Algebraic Approaches to Program Semantics - New paperback or s - X555z

Evans - Truth and Meaning Essays in Semantics - New paperback or soft - X555z

Lopez - MATLAB Symbolic Algebra and Calculus Tools - New paperback or - X555z