Mostrar 1 - 5 resultats de 5 per cerca '"Electronic digital computers Programming Congress."', hora de la petició: 0.02sec Refinar resultats
  1. 1

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

    Publicat 1995
    Llibre

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

    Publicat 1993
    Llibre

    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

    Publicat 1990
    Llibre

    Formal development of programs and proofs
  4. 4

    Software engineering.

    Publicat 1980
    Llibre

    Software engineering.
  5. 5

    Software engineering an advanced course

    Publicat 1975
    Llibre

    Software engineering an advanced course

Eines de cerca: