LIBROS DEL AUTOR: marieke huisman

3 resultados para LIBROS DEL AUTOR: marieke huisman

marieke huisman Eliminar filtro Quitar filtros
  • Concise Guide to Software Verification
    Anton Wijs / Marieke Huisman
    This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the user has some control over the properties that are being checked. More specifically, it shows a wide range of techniques covering the whole spectrum:  from abstract system desi...
    Disponible

    48,00 €

  • Tools and Algorithms for the Construction and Analysis of Systems
    Bernhard Steffen / Fabrice Kordon / Marieke Huisman
    This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It’s ...
    Disponible

    67,65 €

  • Tools and Algorithms for the Construction and Analysis of Systems
    Bernhard Steffen / Fabrice Kordon / Marieke Huisman
    This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It’s ...
    Disponible

    83,17 €