Documents liés : [3 document(s)]

Documents (Auteurs)

• [MathOuvrage] The Logical basis for computer programming. Vol. 1 / Manna, Zohar ; Waldinger, R.. -Reading : Addison-Wesley, 1985. - xii, 618
  
• [MathOuvrage] Mathematical theory of computation / Manna, Zohar. -New York : McGraw-Hill, 1974. - x-448
  
• [MathOuvrage] The Logical basis for computer programming. Vol. 2 / Manna, Zohar ; Waldinger, R.. -Reading : Addison-Wesley, 1990. - xiii, 642