Logic Gates, Circuits, Processors, Compilers and ComputersJan Friso Groote, Rolf Morel, Julien Schmaltz, Adam WatkinsHäftad412 kr
Del 12652Tools and Algorithms for the Construction and Analysis of SystemsJan Friso Groote, Kim Guldstrand LarsenHäftad446 kr
Del 12651Tools and Algorithms for the Construction and Analysis of SystemsJan Friso Groote, Kim Guldstrand LarsenHäftad446 kr
Understanding Behaviour of Distributed Systems Using mCRL2Muhammad Atif, Jan Friso GrooteInbunden1 924 kr
Understanding Behaviour of Distributed Systems Using mCRL2Muhammad Atif, Jan Friso GrooteHäftad1 924 kr
Understanding Behaviour of Distributed Systems Using mCRL2Muhammad Atif, Jan Friso GrooteHäftad1 924 kr
Del 13273Formal Techniques for Distributed Objects, Components, and SystemsMohammad Reza Mousavi, Anna PhilippouHäftad774 kr
Del 15560Rebeca for Actor Analysis in ActionEdward A. Lee, Mohammad Reza Mousavi, Carolyn TalcottHäftad830 kr
Logic Gates, Circuits, Processors, Compilers and ComputersJan Friso Groote, Rolf Morel, Julien Schmaltz, Adam WatkinsHäftad412 kr
Understanding Behaviour of Distributed Systems Using mCRL2Muhammad Atif, Jan Friso GrooteInbunden1 924 kr
Del 12652Tools and Algorithms for the Construction and Analysis of SystemsJan Friso Groote, Kim Guldstrand LarsenHäftad446 kr