Listar Computación por tema "Values Passing"

Mostrando ítems 1-1 de 1

    • Calculus semantic with values passing in the denotational approach 

      Galli, Jaqueline Klein (2020) [Tesis de maestría]
      In the last recent years, there was a noticeable increase in the use of formal verification by the industry, and the reason for that is because the formal languages are each time more enhanced, and the tools that support ...