Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology - Atsushi Togashi - Books - Chapman and Hall - 9780412820601 - October 31, 1997
In case cover and title do not match, the title is correct

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology 1997 edition

Atsushi Togashi

Price
Mex$ 4,849.95

Ordered from remote warehouse

Expected delivery Jun 6 - 17

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology 1997 edition

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).

550 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released October 31, 1997
ISBN13 9780412820601
Publishers Chapman and Hall
Pages 550
Dimensions 156 × 234 × 31 mm   ·   984 g
Language English  

See all of Atsushi Togashi ( e.g. Hardcover Book and Paperback Book )