Browsing Departamento Ciencias de la Computación - FCEIA-ECEN-DCC by Author "Merz, Stephan"

DSpace/Manakin Repository

Browsing Departamento Ciencias de la Computación - FCEIA-ECEN-DCC by Author "Merz, Stephan"

Sort by: Order: Results:

  • Vanzetto, Hernán P. (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2010-06-18)
    TLA+ es un lenguaje para especificar sistemas distribuidos y concurrentes. Está basado en una lógica clásica de primer orden no-tipada y en una variante de la teoría de conjuntos estándar ZF, más una pequeña parte de lógica ...

My Account


Search DSpace


Browse