Algorithms :The Construction ,Proof And Analysis Of Programs

Eitemau Tebyg

• Algorithms: the construction, proof, and analysis of programs/
  gan: Berlioux, Pierre
  Cyhoeddwyd: (1987)
• Algorithms : the construction, proof, and analysis of programs /
  gan: Berlioux, Pierre
  Cyhoeddwyd: (1986)
• Constructing algorithms: an introduction to structured programming /
  gan: Keller, Roy.F
  Cyhoeddwyd: (1975)
• Lectures on proof verification and approximation algorithms
  gan: Mayr, Ernst W
  Cyhoeddwyd: (1998)
• Algorithms and their construction : Computer hardware /
  gan: Open University Course Team
  Cyhoeddwyd: (1975)