Formal Description Techniques and Protocol Specification, Testing and Verification - FORTE X / PSTV XVII '97 (Paperback, Softcover reprint of the original 1st ed. 1997)
Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo HigashinoFORTE/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.
R5,937
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
59370
@R556pm x 12* 
Ships in 10 - 15 working days
Add to wish listReview this Item
Product Description
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.
Customer Reviews
No reviews or ratings yet - be the first to create one!
Product Details
General
Imprint | Springer-Verlag New York |
Country of origin | United States |
Series | IFIP Advances in Information and Communication Technology |
Release date | 2013 |
Availability | Expected to ship within 10 - 15 working days |
First published | 1997 |
Authors | Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino |
Dimensions | 235 x 155 x 29mm (L x W x T) |
Format | Paperback |
Pages | 550 |
Edition | Softcover reprint of the original 1st ed. 1997 |
ISBN-13 | 978-1-4757-5260-1 |
Barcode | 9781475752601 |
Categories | |
LSN | 1-4757-5260-1 |
Similar Products | Recommended ProductsSee more 
Trending On Loot
Be the first to know about our
latest deals & promos! Subscribe Now
