Understanding Behaviour of Distributed Systems Using mCRL2Jan Friso Groote, Muhammad Atif E-bok20232 532 kr
Del 458Understanding Behaviour of Distributed Systems Using mCRL2Muhammad Atif, Jan Friso GrooteHäftad, 20241 943 kr
Del 458Understanding Behaviour of Distributed Systems Using mCRL2Muhammad Atif, Jan Friso GrooteInbunden, 20231 943 kr
Understanding Behaviour of Distributed Systems Using mCRL2Jan Friso Groote, Muhammad Atif E-bok20232 532 kr
Logic Gates, Circuits, Processors, Compilers and ComputersAdam Watkins, Julien Schmaltz, Rolf Morel, Jan Friso Groote E-bok2021538 kr
Del 13487Formal Methods for Industrial Critical SystemsJan Friso Groote, Marieke HuismanHäftad, 2022782 kr
Modeling and Analysis of Communicating SystemsJan Friso Groote, Mohammad Reza MousaviHäftad, 2023762 kr