Akademibokhandeln

Jan Friso Groote – författare

Visar alla böcker från Jan Friso Groote. Handla online eller reservera direkt i butik.

  1. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    2021

  2. Modeling and Analysis of Communicating Systems

    Modeling and Analysis of Communicating Systems

    2023

  3. Tales of Electrologica

    Tales of Electrologica

    2023

  4. Logic Gates, Circuits, Processors, Compilers and Computers

    Logic Gates, Circuits, Processors, Compilers and Computers

    2021

  5. Understanding Behaviour of Distributed Systems Using mCRL2

    Understanding Behaviour of Distributed Systems Using mCRL2

    2023

  6. Formal Methods for Industrial Critical Systems

    Formal Methods for Industrial Critical Systems

    2022