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
Íkr 25,759
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 12 - 22

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 )