Algebraic Specification and Proof of a Distributed Recovery Algorithm

相似書籍

• Algebraic Specification and Proof of Properties of a Mail Service
  由: Hoare, C, et al.
  出版: (1986)
• Design and Proof of a Mail Service
  由: Hoare, C, et al.
  出版: (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, et al.
  出版: (2013-12-01)