Mostra 1 - 5 risultati di 5 ricerca '"Electronic digital computers Programming Congress."', tempo di risposta: 0,01s Raffina i risultati
  1. 1

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

    Pubblicazione 1995
    Libro

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

    Pubblicazione 1993
    Libro

    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

    Pubblicazione 1990
    Libro

    Formal development of programs and proofs
  4. 4

    Software engineering.

    Pubblicazione 1980
    Libro

    Software engineering.
  5. 5

    Software engineering an advanced course

    Pubblicazione 1975
    Libro

    Software engineering an advanced course

Strumenti per la ricerca: