LIBROS DEL AUTOR: nimal nissanke

1 resultados para LIBROS DEL AUTOR: nimal nissanke

  • Formal Specification
    Nimal Nissanke
    Formal Specification provides the reader with a practical and versatile approach to constructing program specifications. It includes both model-based (Z/VDM) and algebraic (CLEAR) paradigms of specification and emphasizes the range of languages and approaches available. Its main advantage over other specification books is that is offers an unrivaled b...
    Disponible

    66,16 €