LIBROS DEL AUTOR: eerke boiten

2 resultados para LIBROS DEL AUTOR: eerke boiten

eerke boiten Eliminar filtro Quitar filtros
  • Refinement
    Eerke Boiten / John Derrick
    Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to implementation. It provides that essential bridge between higher level requirements and an implementation of those requirements. This book provides a comprehensive introduction to refi...
    Disponible

    66,28 €

  • Refinement in Z and Object-Z
    Eerke A. Boiten / John Derrick
    Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different application areas. It covers four main themes:Data refinement and its application to ZG...
    Disponible

    132,86 €