Logical construction of programs [L.C.P.)] /

類似資料

• Logical construction of programs (L.C.P.) /
  著者:: Warnier, Jean-Dominique
  出版事項: (1974)
• Logical construction of programs /
  著者:: Warnier, Jean Dominique
  出版事項: (1976)
• Program modification /
  著者:: Warnier, Jean Dominique
  出版事項: (1978)
• From logic design to logic programming : theorem proving techniques and P-functions /
  著者:: Snyers, Dominique, 1959-
  出版事項: (1987)
• Logic tools for programming /
  著者:: Pace, Philip, 1956-
  出版事項: (1987)