FFormal Reasoning About Distributed AlgorithmsFormal Reasoning About Distributed Algorithmsde Marina WaldénEdiciones (1)Formal Reasoning About Distributed Algorithms (1998)Turku Centre for Computer Science · inglésMás obras de Marina WaldénZZB 2003 : Formal Specification and Development in Z and BZB 2003 : Formal Specification and Development in Z and BVer todas las obras de Marina Waldén →
ZZB 2003 : Formal Specification and Development in Z and BZB 2003 : Formal Specification and Development in Z and B