Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - IFIP Advances in Information and Communication Technology - Atsushi Togashi - Books - Springer-Verlag New York Inc. - 9781475752601 - January 11, 2013
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 Softcover reprint of the original 1st ed. 1997 edition

Atsushi Togashi

Price
R 3,724
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 11 - 21

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 Softcover reprint of the original 1st ed. 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).

561 pages, 48 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 11, 2013
ISBN13 9781475752601
Publishers Springer-Verlag New York Inc.
Pages 550
Dimensions 155 × 235 × 29 mm   ·   789 g
Language English  

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