Modelling Distributed Systems
Fokkink, Wan.
Modelling Distributed Systems [electronic resource] / by Wan Fokkink. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - 156 p. : ill., digital ; 24 cm. - Texts in Theoretical Computer Science An EATCS Series, 1862-4499 .
9783540739388 (electronic bk.) 9783540739371 (paper)
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Software Engineering.
Symbolic and Algebraic Manipulation.
Theory of Computation.
Modelling Distributed Systems [electronic resource] / by Wan Fokkink. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - 156 p. : ill., digital ; 24 cm. - Texts in Theoretical Computer Science An EATCS Series, 1862-4499 .
9783540739388 (electronic bk.) 9783540739371 (paper)
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Software Engineering.
Symbolic and Algebraic Manipulation.
Theory of Computation.
