LIBROS DEL AUTOR: kevin lano

2 resultados para LIBROS DEL AUTOR: kevin lano

kevin lano Eliminar filtro Quitar filtros
  • The B Language and Method
    Kevin Lano
    B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity sy...
    Disponible

    66,52 €

  • Formal Object-Oriented Development
    Kevin Lano
    Formal Object-Oriented Development provides a comprehensive overview of the use of formal object-oriented methods; it covers how and where they should be introduced into the development process, how they can be introduced selectively for critical parts of an application, and how to incorporate them effectively into existing deveopmental practices.The ...
    Disponible

    65,58 €