My Orders
Wishlist
Help
Sell On Loot
Formal Description Techniques and Protocol Specification, Testing and Verification (Paperback)
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.
R1,156
List Price R1,211
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
11560
@R108pm x 12* 
Out of stock
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 |
Country of origin | United States |
Release date | 2014 |
Availability | Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available. |
Editors | Atsushi Togashi, Tadanori Mizuno, Norio Shiratori |
Dimensions | 234 x 156 x 29mm (L x W x T) |
Format | Paperback - Trade |
Pages | 570 |
ISBN-13 | 978-1-4757-5259-5 |
Barcode | 9781475752595 |
Categories | |
LSN | 1-4757-5259-8 |
Similar Products | Recommended ProductsSee more 
Trending On Loot
Be the first to know about our
latest deals & promos! Subscribe Now
