LIBROS DEL AUTOR: peter gorm larsen

1 resultados para LIBROS DEL AUTOR: peter gorm larsen

peter gorm larsen Eliminar filtro Quitar filtros
  • Validated Designs for Object-oriented Systems
    John Fitzgerald / Paul Mukherjee / Peter Gorm Larsen
    I - Models and Software Development Introduction Building a Model in VDM++: an Overview VDM++ Tool Support II - Modelling Object-oriented Systems in VDM++ Defining Data Defining Functionality Modelling Unordered Collections Modelling Ordered Collections Modelling Relationships III - Modelling in Practice: Three Case Studies Model Structuring: The Enigma Cipher Combining Views: ...
    Disponible

    118,25 €