Program design calculi /

Samankaltaisia teoksia

• The Laws of Programming Unify Process Calculi
  Tekijä: Hoare, T, et al.
  Julkaistu: (2012)
• Control flow and data flow : concepts of distributed programming /
  Tekijä: Broy, Manfred
  Julkaistu: (1984)
• Fundamentals of uncertainty calculi with applications to fuzzy inference /
  Tekijä: 431952 Grabisch, Michel, et al.
  Julkaistu: (1995)
• On the Semantics of Refinement Calculi
  Tekijä: Yang, H, et al.
  Julkaistu: (2015)
• Non-classical propositional calculi
  Tekijä: McCall, S, et al.
  Julkaistu: (1964)