Boken tar sikte på å gi leserne en grundig forståelse av ingeniørfaget knyttet til kommunikasjonsprotokoller, som er allestedsnærværende i dagens teknologi, herunder mobiltelefoner, nettbrett, bærbare datamaskiner, smarte apparater samt datasentre og skytjenester. Gjennom denne boken vil leserne tilegne seg både teoretisk kunnskap og praktiske ferdigheter som er nødvendige for effektivt å designe, implementere, teste og verifisere egne løsninger. Den nye utgaven er i tråd med den nyeste standarden for samsvarstesting, TTCN-3, og inneholder oppdaterte kapitler. Boken gir også en grundig forklaring av prosess algebra, spesifikt CSP, og viser hvordan man kan modellere, simulere og automatisk verifisere CSP-modeller i PAT.
