JOIN / SIGN IN

Welcome to Hatchards Rewards

Earn a Rewards Stamp for every £10 you spend in our shops or online*

Every 10 Rewards Stamps you earn adds £10 to your Rewards Balance

Spend your Rewards Balance in our shops or online, with no minimum redemption*

*Exclusions apply, see full T&Cs for details.

Learn More

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97

Atsushi Togashi (author), Tadanori Mizuno (author), Norio Shiratori (author), Teruo Higashino (author)

Paperback Published on: 11/01/2013

£179.99

No reviews yet, be the first

Free UK delivery on orders over £25

Please note, this item can only be delivered to a UK address. Find out more

We can order this from the publisher
Usually dispatched within 3 weeks

Make and edit your lists in your account

No stock available in any shop.

We can order this from the publisher
Usually dispatched within 3 weeks

No stock available in any shop.

Synopsis

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.