Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Description Techniques and Protocol Specification, Testing and Verification
Togashi, Atsushi; Mizuno, Tadanori; Shiratori, Norio; Higashino, Teruo
€ 240.81
FREE Delivery in Ireland
Description for Formal Description Techniques and Protocol Specification, Testing and Verification
Paperback. Series: IFIP Advances in Information and Communication Technology. Num Pages: 561 pages, biography. BIC Classification: TTBM; UKN. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 860.
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). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.
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). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.
Product Details
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag New York Inc. United States
Number of pages
561
Condition
New
Series
IFIP Advances in Information and Communication Technology
Number of Pages
550
Place of Publication
New York, NY, United States
ISBN
9781475752601
SKU
V9781475752601
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Description Techniques and Protocol Specification, Testing and Verification