Algorithms: the construction, proof, and analysis of programs/

Samankaltaisia teoksia

• Algorithms : the construction, proof, and analysis of programs /
  Tekijä: Berlioux, Pierre
  Julkaistu: (1986)
• Algorithms :The Construction ,Proof And Analysis Of Programs
  Tekijä: Pierrie Berlioux, Philippe Bizard
  Julkaistu: (1987)
• Algorithms and their construction : Computer hardware /
  Tekijä: Open University Course Team
  Julkaistu: (1975)
• Constructing algorithms: an introduction to structured programming /
  Tekijä: Keller, Roy.F
  Julkaistu: (1975)
• Lectures on proof verification and approximation algorithms
  Tekijä: Mayr, Ernst W
  Julkaistu: (1998)