Fokkink, Wan.
Modelling Distributed Systems [electronic resource] / by Wan Fokkink. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Texts in Theoretical Computer Science An EATCS Series, 1862-4499 . - Texts in Theoretical Computer Science An EATCS Series, .
9783540739388
10.1007/978-3-540-73938-8 doi
Computer science.
Software engineering.
Information theory.
Logic design.
Algebra--Data processing.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Symbolic and Algebraic Manipulation.
Software Engineering.
Theory of Computation.
QA8.9-QA10.3
005.131
Modelling Distributed Systems [electronic resource] / by Wan Fokkink. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Texts in Theoretical Computer Science An EATCS Series, 1862-4499 . - Texts in Theoretical Computer Science An EATCS Series, .
9783540739388
10.1007/978-3-540-73938-8 doi
Computer science.
Software engineering.
Information theory.
Logic design.
Algebra--Data processing.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Symbolic and Algebraic Manipulation.
Software Engineering.
Theory of Computation.
QA8.9-QA10.3
005.131