Search Results - "Electronic digital computers Programming congresses."

  • Showing 1 - 5 results of 5
Refine Results
  1. 1

    Software engineering.

    Published 1980
    Book


    Cover Image
  2. 2

    Formal development of programs and proofs

    Published 1990
    Book


    Cover Image
  3. 3

    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,...

    Published 1993
    Book


    Cover Image
  4. 4

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

    Published 1995
    Book


    Cover Image
  5. 5

    Software engineering an advanced course

    Published 1975
    Book


    Cover Image

Search Tools: