Versión - An axiomatic basis for proving total correctness of goto-programs

  • Mostrando 1 - 2 Resultados de 2
Limitar resultados
  1. 1

    An axiomatic basis for proving total correctness of goto-programs por Wang, Arne

    Consultar en el Cátalogo
    Capítulo de libro
  2. 2

    An axiomatic basis for proving total correctness of goto-programs por Wang, Arne

    Consultar en el Cátalogo
    Capítulo de libro

Herramientas de búsqueda: