Items related to Formal Description Techniques and Protocol Specification,...
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.
- PublisherSpringer
- Publication date2013
- ISBN 10 1475752598
- ISBN 13 9781475752595
- BindingPaperback
- LanguageEnglish
- Number of pages570
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: FORTE X / PSTV XVII '97
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9781475752595_new
Quantity: Over 20 available
Stock Image
Formal Description Techniques and Protocol Specification, Testing and Verification
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 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
Quantity: Over 20 available
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
Quantity: Over 20 available