The Logical Basis for Computer Programming: Volume 1: Deductive Reasoning /

Lignende værker

• The Deductive foundations of computer programming /
  af: Manna, Zohar
  Udgivet: (1993)
• The Logical Basis for Computer Programming Volume 2: Deductive Systems /
  af: Manna, Zohar
• Digital computer programming /
  af: McCracken, Daniel D.
  Udgivet: (1957)
• A programming approach to computability /
  af: Kfoury, A.J
  Udgivet: (1982)
• An introduction to computer science : an algorithmic approach /
  af: Tremblay, Jean-Paul
  Udgivet: (1979)