Add Item to wish list Add Item to wish list

By Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino

Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5.Learn More

Formats

See All Formats & Editions

In stock

This item is currently out of stock online.

Free standard shipping on orders over $60

Select a store to view item availability.

Overview

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Prools (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.

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

Overview

Product Details

Categories