Articles liés à Protocol Specification, Testing, and Verification XI:...

Protocol Specification, Testing, and Verification XI: Proceedings - Couverture rigide

 
9780444892102: Protocol Specification, Testing, and Verification XI: 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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Acheter D'occasion

état :  Satisfaisant
365 pp., hardcover, ex library,...
Afficher cet article

EUR 21,92 expédition depuis Etats-Unis vers France

Destinations, frais et délais

Résultats de recherche pour Protocol Specification, Testing, and Verification XI:...

Image d'archives

Bengt Jonsson , Joachim Parrow , Bjorn Pehrson
Edité par North-Holland, 1991
ISBN 10 : 0444892109 ISBN 13 : 9780444892102
Ancien ou d'occasion Couverture rigide

Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Good. 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. N° de réf. du vendeur ZB391999

Contacter le vendeur

Acheter D'occasion

EUR 6,35
Autre devise
Frais de port : EUR 21,92
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Bengt Jonsson, J. Parrow, B. Pehrson et etc.
Edité par Elsevier Science Ltd, 1991
ISBN 10 : 0444892109 ISBN 13 : 9780444892102
Ancien ou d'occasion Couverture rigide

Vendeur : Ammareal, Morangis, France

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Hardcover. Etat : 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. N° de réf. du vendeur E-311-670

Contacter le vendeur

Acheter D'occasion

EUR 26,30
Autre devise
Frais de port : EUR 3,50
Vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier