Formal Description Techniques and Protocol Specification, Testing and Verification - FORTE X / PSTV XVII '97 (Hardcover, 1997 ed.)
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.
R6,215
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
62150
@R582pm x 12* 
Ships in 10 - 15 working days
Add to wish listReview this Item
Donate to Against Period Poverty
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 | Chapman and Hall |
Country of origin | United Kingdom |
Series | IFIP Advances in Information and Communication Technology |
Release date | October 1997 |
Availability | Expected to ship within 10 - 15 working days |
First published | 1997 |
Authors | Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino |
Dimensions | 234 x 156 x 31mm (L x W x T) |
Format | Hardcover |
Pages | 550 |
Edition | 1997 ed. |
ISBN-13 | 978-0-412-82060-1 |
Barcode | 9780412820601 |
Categories | |
LSN | 0-412-82060-9 |
Similar Products | Recommended ProductsSee more 
Trending On Loot
Be the first to know about our
latest deals & promos! Subscribe Now
