LIBROS DEL AUTOR: muhammad atif

2 resultados para LIBROS DEL AUTOR: muhammad atif

  • Dark World
    Atif Ali / Muhammad Qasim
    What are cyber crimes on the dark web? How people are doing business, and which areas are mostly focused on the dark web. This book’s objective is to present an interdisciplinary and easily understandable book on the Dark Web. This research will benefit security agencies, security professionals, counter-terrorism experts, and policymakers. ...
    Disponible

    90,57 €

  • Understanding Behaviour of Distributed Systems Using mCRL2
    Jan Friso Groote / Muhammad Atif
    This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to analyse a distributed system with respect to its functional requirements. For exa...
    Disponible

    48,03 €