Understanding Behaviour of Distributed Systems Using mCRL2Jan Friso Groote, Muhammad AtifPocketEngelskDel av serien Studies in Systems, Decision and ControlLegg i handlekurvNettlager
Logic Gates, Circuits, Processors, Compilers and ComputersAdam Watkins, Rolf Morel og 2 andrePocketEngelskLegg i handlekurvNettlager
Understanding Behaviour of Distributed Systems Using mCRL2Jan Friso Groote, Muhammad AtifInnbundetEngelskDel av serien Studies in Systems, Decision and ControlLegg i handlekurvNettlager
