Algebraic Specification and Proof of a Distributed Recovery Algorithm

類似資料

• Algebraic Specification and Proof of Properties of a Mail Service
  著者:: Hoare, C, 等
  出版事項: (1986)
• Design and Proof of a Mail Service
  著者:: Hoare, C, 等
  出版事項: (1987)
• Algebra of proofs /
  著者:: 349024 Szabo, M. E.
  出版事項: (1978)
• Algebra and Proof in High School: The Case of Algebraic Proof as Discovery
  著者:: Mara Vanina Martinez
  出版事項: (2014-02-01)
• The free one-generated left distributive algebra: basics and a simplified proof of the division algorithm
  著者:: Laver Richard, 等
  出版事項: (2013-12-01)