General theory of computing
Data in computer systems Mathematical theory of computation Systems analysis & design
Roever Willem-Paul De, Engelhardt Kai:
Data Refinement
Model-Oriented Proof Methods And Their Comparison
Cambridge University Press (United Kingdom), 2009
Paperback, 436 pages
Reynolds John C.:
Theories Of Programming Languages
Cambridge University Press (United Kingdom), 2009
Paperback, 516 pages
Khedker Uday, Sanyal Amitabha, Karkare Bageshri:
Data Flow Analysis
Taylor & Francis Ltd (United States), 2009
Hardback, 395 pages
Revesz Gyorgy E.:
Lambda-Calculus, Combinators And Functional Programming
Cambridge University Press (United Kingdom), 2009
Paperback, 192 pages
Tse T.H.:
A Unifying Framework For Structured Analysis And Design Models
An Approach Using Initial Algebra Semantics And Category Theory
Cambridge University Press (United Kingdom), 2009
Paperback, 192 pages
Wolfram D.A.:
The Clausal Theory Of Types
Cambridge University Press (United Kingdom), 2009
Paperback, 136 pages
Liu Kecheng:
Semiotics In Information Systems Engineering
Cambridge University Press (United Kingdom), 2009
Paperback, 232 pages
Semantics And Logics Of Computation
Editor: Andrew M. Pitts
Cambridge University Press (United Kingdom), 2009
Paperback, 376 pages
Data in computer systems Mathematical theory of computation Systems analysis & design








