Formal Development Of Programs And Proofs

Lignende værker

• Predicate Calculus And Program Semantics
  af: Dijkstra, Edsger W
  Udgivet: (1990)
• Type theory and formal proof : an introduction /
  af: Nederpelt, R. P. (Rob P.), et al.
  Udgivet: (2014)
• Methode of programming
  af: Edsger W Dijkstra,WHJ Feijen
  Udgivet: (1988)
• Proof theory: sequent calculi and related formalisms
  af: Bimbo, Katalin
  Udgivet: (2015)
• Selected writings on computing: a personal perspective
  af: Edsger W Dijkstra
  Udgivet: (1982)