LIBROS DEL AUTOR: j e nicholls

3 resultados para LIBROS DEL AUTOR: j e nicholls

j e nicholls Eliminar filtro Quitar filtros
  • Deltas in the Anthropocene
    Craig W Hutton / Robert J Nicholls / Susan E Hanson
    The Anthropocene is the human-dominated modern era that has accelerated social, environmental and climate change across the world in the last few decades. This open access book examines the challenges the Anthropocene presents to the sustainable management of deltas, both the many threats as well as the opportunities. In the world’s deltas the Anthropocene is manifest in major ...
    Disponible

    72,10 €

  • Z User Workshop, York 1991
    J. E. Nicholls
    In ordinary mathematics, an equation can be written down which is syntactically correct, but for which no solution exists. For example, consider the equation x = x + 1 defined over the real numbers; there is no value of x which satisfies it. Similarly it is possible to specify objects using the formal specification language Z [3,4], which can not poss...
    Disponible

    65,70 €

  • Z User Workshop, Oxford 1990
    J.E. Nicholls
    The approach described in [JonSl, JonS3a, JonS3b] set out to extend operation decom­ position methods for sequential programs - such as are used in VDM [Jon90] - to cover concurrent shared-variable systems. The essential step in [JonSl] was to recognise that 1 inter/erence had to be specified. This is necessary in order to achieve a notion of compo­ s...
    Disponible

    132,18 €