Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - Softcover
Synopsis
Invited talk I: network and application for new generation. Testing theory for concurrent systems. MSC and ODP. LOTOS and extension. Verification technique. Conformance testing. Invited talk II: the future information technology and its impact to the society. Real time systems. Languages and applications. Industrial usage reports. Invited talk III: distributed object consistency. Concurrent systems.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Formal Description Techniques and Protocol Specification,...
Stock Image
Formal Description Techniques and Protocol Specification, Testing and Verification
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9781475752595
Stock Image
Formal Description Techniques and Protocol Specification, Testing and Verification
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9781475752595
Buy New
US$ 62.27
US$ 7.81 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available