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

Atsushi Togashi
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

Price
Íkr 25,959
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 24 - Jul 2

Our customers say:

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

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  

Mere med samme udgiver

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