Formal Development Of Programs And Proofs

類似資料

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