LIBROS DEL AUTOR: c t sennett

1 resultados para LIBROS DEL AUTOR: c t sennett

c t sennett Eliminar filtro Quitar filtros
  • High-Integrity Software
    C. T. Sennett
    4. 3 The Gypsy language 72 4. 4 The Gypsy Verification Environment 73 4. 5 A simple example 81 4. 6 Specification data types 91 4. 7 Future directions 95 100 4. 8 Conclusions 5 Reliable programming in standard languages 102 Bernard Carre, Program Validation Ltd. 5. 1 Introduction 102 5. 2 Language requirements for high-integrity programming 103 5. 3 T...
    Disponible

    71,78 €