Resultados de búsqueda - Frias, Marcelo F.

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

    Reasoning about static and dynamic properties in Alloy : A purely relational approach por Frias, Marcelo F.

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  2. 2

    Fork algebras in algebra, logic and computer science por Frias, Marcelo F.

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

    Taking alloy to the movies por Frias, Marcelo F.

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  4. 4

    Fork algebras : past, present and future por Frias, Marcelo F.

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  5. 5

    Reasoning about static and dynamic properties in Alloy : A purely relational approach por Frias, Marcelo F.

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  6. 6

    Fork algebras in algebra, logic and computer science por Frias, Marcelo F.

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

    Taking alloy to the movies por Frias, Marcelo F.

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  8. 8

    Fork algebras : past, present and future por Frias, Marcelo F.

    Enlace del recurso / Disponible en línea
    Capítulo de libro

Herramientas de búsqueda: