The Deductive Foundations of Computer Programming : A One-Volume Version of "The Logical Basis for Computer Programming"

Documenti analoghi

• The Logical Basic for Computer Programming. Volume 2:Deductive Systeme /
  di: Manna, Zohar, et al.
  Pubblicazione: (1990)
• The Logical Basis for Computer Programming : Volume II. Deductive Systems /
  di: Manna, Zohar, et al.
  Pubblicazione: (1990)
• The Logical Basis for Computer Programming. Volume 2 /
  di: Manna, Zohar, et al.
  Pubblicazione: (1990)
• The logical basis for computer programming : Vol.II /
  di: Manna, Zohar, et al.
  Pubblicazione: (1985)
• <The> logical Basis for Computer Programming
  di: Manna, Zohar
  Pubblicazione: (1990)