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
Ft 70,293
excl. VAT

Ordered from remote warehouse

Expected delivery Nov 21 - Dec 3
Christmas presents can be returned until 31 January

Our customers say:

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

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  
Show all

More by Atsushi Togashi

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