The Logical Basis for Computer Programming : Volume II. Deductive Systems /

Documenti analoghi

• The logical basis for computer programming : Vol.II /
  di: Manna, Zohar, et al.
  Pubblicazione: (1985)
• The Logical Basis for Computer Programming. Volume 2 /
  di: Manna, Zohar, et al.
  Pubblicazione: (1990)
• <The> logical Basis for Computer Programming
  di: Manna, Zohar
  Pubblicazione: (1990)
• The Logical Basic for Computer Programming. Volume 2:Deductive Systeme /
  di: Manna, Zohar, et al.
  Pubblicazione: (1990)
• The Deductive Foundations of Computer Programming : A One-Volume Version of "The Logical Basis for Computer Programming"
  di: Manna, Zohar, et al.
  Pubblicazione: (1993)