The Correctness-by-Construction Approach to Programming /

類似資料

• Constructing Correct Software /
  著者:: John Cooke
  出版事項: (2005, c2005)
• The Corrections /
  著者:: Franzen, Jonathan
  出版事項: (2005, c2001)
• Correction : Mistake Management : A Positive Approach to Language Mistakes /
  著者:: Bartram, Mark
  出版事項: (2001, c1991)
• The Bantam Book of Correct Letter Writing /
  著者:: Watson, Lillian Eichler
  出版事項: (1972, c1958)
• Correct Reasoning : Essays on Logic-Based AI in Honour of Vladimir Lifschitz /
  著者:: Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce
  出版事項: (2012, c2012)