Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII ’97
Softcover reprint of the original 1st ed. 1997
Book Details
Format
Paperback / Softback
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 engineeringNetwork hardwareDigital signal processing (DSP)Signal processing
Ksh 32,400.00
Werezi Extended Catalogue
0 in stock
Delivery 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 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 pages.
