Items related to Formal Description Techniques and Protocol Specification,...

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97 - Softcover

 
9781475752595: Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97

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

9781475752601: Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97 (IFIP Advances in Information and Communication Technology)

Featured Edition

ISBN 10:  1475752601 ISBN 13:  9781475752601
Publisher: Springer, 2013
Softcover

Search results for Formal Description Techniques and Protocol Specification,...

Stock Image

Togashi, Atsushi; Mizuno, Tadanori; Shiratori, Norio
Published by Springer, 2013
ISBN 10: 1475752598 ISBN 13: 9781475752595
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9781475752595_new

Contact seller

Buy New

£ 45.62
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Atsushi Togashi, Togashi,Tadanori Mizuno, Mizuno,Norio Shiratori, Shiratori
Published by Springer Nature B.V., 2013
ISBN 10: 1475752598 ISBN 13: 9781475752595
New PAP
Print on Demand

Seller: PBShop.store UK, Fairford, GLOS, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

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

Contact seller

Buy New

£ 46.23
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Atsushi Togashi, Togashi,Tadanori Mizuno, Mizuno,Norio Shiratori, Shiratori
Published by Springer Nature B.V., 2013
ISBN 10: 1475752598 ISBN 13: 9781475752595
New PAP
Print on Demand

Seller: PBShop.store US, Wood Dale, IL, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9781475752595

Contact seller

Buy New

£ 52.80
Convert currency
Shipping: FREE
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket