LIBROS DEL AUTOR: juan c bicarregui

2 resultados para LIBROS DEL AUTOR: juan c bicarregui

juan c bicarregui Eliminar filtro Quitar filtros
  • Proof in VDM
    Juan C. Bicarregui
    Not so many years ago, it would have been difficult to find more than a handful of examples of the use of formal methods in industry. Today however, the industrial application of formal methods is becoming increasingly common in a variety of application areas, particularly those with a safety, security or financially critical aspects. Furthermore, in ...
    Disponible

    134,14 €

  • Proof in VDM
    John Fitzgerald / Juan C. Bicarregui / Peter A. Lindsay
    Formal specifications were first used in the description of program­ ming languages because of the central role that languages and their compilers play in causing a machine to perform the computations required by a programmer. In a relatively short time, specification notations have found their place in industry and are used for the description of a w...
    Disponible

    65,86 €