Algebraic Specification and Proof of a Distributed Recovery Algorithm

Lignende værker

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