Logic Gates, Circuits, Processors, Compilers and ComputersJan Friso Groote, Rolf Morel, Julien Schmaltz, Adam WatkinsHäftad408 kr
Del 12652Tools and Algorithms for the Construction and Analysis of SystemsJan Friso Groote, Kim Guldstrand LarsenHäftad442 kr
Del 12651Tools and Algorithms for the Construction and Analysis of SystemsJan Friso Groote, Kim Guldstrand LarsenHäftad442 kr
Understanding Behaviour of Distributed Systems Using mCRL2Muhammad Atif, Jan Friso GrooteInbunden1 906 kr
Understanding Behaviour of Distributed Systems Using mCRL2Muhammad Atif, Jan Friso GrooteHäftad1 906 kr
Cyber Physical Systems. Design, Modeling, and EvaluationChristian Berger, Mohammad Reza Mousavi, Rafael WisniewskiHäftad550 kr
Understanding Behaviour of Distributed Systems Using mCRL2Muhammad Atif, Jan Friso GrooteHäftad1 906 kr
Del 13273Formal Techniques for Distributed Objects, Components, and SystemsMohammad Reza Mousavi, Anna PhilippouHäftad768 kr
Del 9541Topics in Theoretical Computer ScienceMohammed Taghi Hajiaghayi, Mohammad Reza MousaviHäftad550 kr
Del 11254Formal Methods: Foundations and ApplicationsTiago Massoni, Mohammad Reza MousaviHäftad637 kr
Del 15560Rebeca for Actor Analysis in ActionEdward A. Lee, Mohammad Reza Mousavi, Carolyn TalcottHäftad822 kr
Del 9361Cyber Physical Systems. Design, Modeling, and EvaluationChristian Berger, Mohammad Reza MousaviHäftad442 kr
Understanding Behaviour of Distributed Systems Using mCRL2Muhammad Atif, Jan Friso GrooteInbunden1 906 kr
Del 12652Tools and Algorithms for the Construction and Analysis of SystemsJan Friso Groote, Kim Guldstrand LarsenHäftad442 kr