Synopsis
The contributions to this book are from researchers and practitioners concerned with the theory and application of formal methods to the specification, testing and verification of protocols for open systems. Being the tenth in a successful series of symposia, a special feature of the book is a number of invited papers on the same theme, ``The First Ten Years, The Next Ten Years''.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Protocol Specification, Testing, and Verification,...
Image d'archives
Protocol Specification, Testing, and Verification, X: Proceedings (I F I P W G 61 International Workshop on Protocol Specification, Testing, and Verification//Protocol . Specification, Testing, and Verification)
Edité par
Elsevier Science Publishing Company, 1990
ISBN 10 : 0444888101
ISBN 13 : 9780444888105
Ancien ou d'occasion
Couverture rigide
Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. *Price HAS BEEN REDUCED by 10% until Monday, June 22 (weekend SALE item)* 416 pp., hardcover, ex library, else text clean & binding tight. - 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. Photos available upon request. N° de réf. du vendeur ZB564033
Acheter D'occasion
EUR 157,57
Expédition à EUR 3,92
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)