Reihe IFIP Advances in Information and Communication TechnologyAtsushi Togashi × Formal Description Techniques and Protocol Specification, Testing and VerificationFORTE X / PSTV XVII ’97Atsushi TogashiSpringer USSoftcover2013213,99 € Formal Description Techniques and Protocol Specification, Testing and VerificationFORTE X / PSTV XVII ’97Atsushi TogashiSpringer USHardcover1997213,99 €