Búsqueda de LIBROS DEL AUTOR: gerhart susan

1 resultados

gerhart susan Eliminar filtro Quitar filtros
  • INDUSTRIAL APPLICATIONS OF FORMAL METHODS TO MODEL, DESIGN AND ANALYZE COMPUTER SYSTEMS
    ebook
    INDUSTRIAL APPLICATIONS OF FORMAL METHODS TO MODEL, DESIGN AND ANALYZE COMPUTER SYSTEMS
    CRAIGEN, DAN / GERHART, SUSAN
    Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze computer systems. The purpose of this study is to evaluate international industrial experience in using formal methods. The cases selected are representative of industrial-grade projects and span a variety of applicatio...

    $928.00

    Ver detalle