LIBROS DEL AUTOR: flemming nielson

5 resultados para LIBROS DEL AUTOR: flemming nielson

flemming nielson Eliminar filtro Quitar filtros
  • Principles of Security and Trust
    David Sands / Flemming Nielson
    This open access book constitutes the proceedings of the 8th International Conference on Principles of Security and Trust, POST 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissio...
    Disponible

    66,82 €

  • ML with Concurrency
    Flemming Nielson
    Both functional and concurrent programming are relatively new paradigms with great promise. In this book, a survey is provided of extensions to Standard ML, one of the most widely used functional languages, with new primitives for concurrent programming. Computer scientists and graduate students will find this a valuable guide to this topic. ...
    Disponible

    66,37 €

  • Principles of Program Analysis
    Chris Hankin / Flemming Nielson / Hanne R. Nielson
    Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the ...
    Disponible

    65,41 €

  • Semantics with Applications
    Flemming Nielson / Hanne Riis Nielson
    Semantics will play an important role in the future development of software systems and domain-specific languages. This book provides a needed introductory presentation of the fundamental ideas behind these approaches, stresses their relationship by formulating and proving the relevant theorems, and illustrates the applications of semantics in compute...
    Disponible

    55,70 €

  • Two-Level Functional Languages
    Flemming Nielson / Hanne Riis Nielson
    ...
    Disponible

    79,73 €