Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII ’97

Name: Formal Description Techniques and Protocol Specification, Testing and Verification
Brand: Springer-Verlag New York Inc.
SKU: 9781475752601
Price: 32400 KES
Availability: OutOfStock
ISBN: 9781475752601

Softcover reprint of the original 1st ed. 1997

by Atsushi Togashi , Norio Shiratori , Tadanori Mizuno , Teruo Higashino

Book Details

Format Paperback / softback

Book Series IFIP Advances in Information and Communication Technology

ISBN-10 1475752601

ISBN-13 9781475752601

Edition Softcover reprint of the original 1st ed. 1997

Publisher Springer-Verlag New York Inc.

Imprint Springer-Verlag New York Inc.

Country of Manufacture US

Country of Publication GB

Publication Date Jan 11th, 2013

Print length 550 Pages

Product Classification: Electronics engineering Network hardware Digital signal processing (DSP)Signal processing

KSh 32,400.00

Currently unavailable 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

Secure

Quality

Fast

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).

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.

Get Formal Description Techniques and Protocol Specification, Testing and Verification by Atsushi Togashi, Norio Shiratori at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer-Verlag New York Inc. and it has 550 pages.