Showing 1 - 5 results of 5 for search '"Electronic digital computers Programming Congress."', 查詢時間: 0.02s Refine Results
  1. 1

    Category theory and computer science 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings

    出版 1995
    圖書

    Category theory and computer science 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
  2. 2

    Theory and formal methods proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate,...

    出版 1993
    圖書

    Theory and formal methods proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993
  3. 3

    Formal development of programs and proofs

    出版 1990
    圖書

    Formal development of programs and proofs
  4. 4

    Software engineering.

    出版 1980
    圖書

    Software engineering.
  5. 5

    Software engineering an advanced course

    出版 1975
    圖書

    Software engineering an advanced course

檢索工具: