Items related to Protocol Specification, Testing and Verification: 11th:...

Protocol Specification, Testing and Verification: 11th: 1991: International Workshop Proceedings (Protocol Specification, Testing and Verification: International Workshop Proceedings) - Hardcover

 
9780444892102: Protocol Specification, Testing and Verification: 11th: 1991: International Workshop Proceedings (Protocol Specification, Testing and Verification: International Workshop Proceedings)

Synopsis

This book contains original contributions on theory, applications and experiences from the use of advanced techniques applied to distributed systems. The emphasis is on services and protocols. Specific areas addressed include: Specification languages and models, Formal specification, Testing and certification, Implementation and Environments and automated tools. In addition to these more traditional topics, contributions are included on: #Specification, testing and verification of real-time properties; #Novel methods for formal specification of realistic services; #Automated and semi-automated analysis of non-finite-state systems; #Design and implementation by stepwise refinement and #Applications of the above to new generations of high-speed networks, multi-media services and distributed environments for computer supported cooperative work.

"synopsis" may belong to another edition of this title.

Buy Used

Condition: Good
*Price HAS BEEN REDUCED by 10%...
View this item

£ 13.27 shipping from U.S.A. to United Kingdom

Destination, rates & speeds

Search results for Protocol Specification, Testing and Verification: 11th:...

Stock Image

Bengt Jonsson , Joachim Parrow , Bjorn Pehrson
Published by North-Holland, 1991
ISBN 10: 0444892109 ISBN 13: 9780444892102
Used Hardcover

Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.

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

Condition: Good. *Price HAS BEEN REDUCED by 10% until Monday, June 16 (SALE ITEM)* 365 pp., hardcover, ex library, else text and binding still clean, tight and bright. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Seller Inventory # ZB391999

Contact seller

Buy Used

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

Quantity: 1 available

Add to basket

Stock Image

Bengt Jonsson, J. Parrow, B. Pehrson et etc.
Published by Elsevier Science Ltd, 1991
ISBN 10: 0444892109 ISBN 13: 9780444892102
Used Hardcover

Seller: Ammareal, Morangis, France

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

Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Couverture différente. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-311-670

Contact seller

Buy Used

£ 23.07
Convert currency
Shipping: £ 6.81
From France to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket