1990 (10th) (Protocol Specification, Testing and Verification: International Workshop Proceedings) - Tapa dura
Sinopsis
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''.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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''.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para 1990 (10th) (Protocol Specification, Testing and Verificatio...
Imagen de archivo
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)
Publicado por
Elsevier Science Publishing Company, 1990
ISBN 10: 0444888101
ISBN 13: 9780444888105
Antiguo o usado
Tapa dura
Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. *Price HAS BEEN REDUCED by 10% until Monday, Dec. 15 (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. Nº de ref. del artículo: ZB564033
Comprar usado
EUR 5,55
EUR 3,83 shipping
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Protocol Specification, Testing, and Verification, X: Proceedings
Publicado por
North-Holland, 1990
ISBN 10: 0444888101
ISBN 13: 9780444888105
Antiguo o usado
Tapa dura
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 1990. Editeur différent. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1990. Different publisher. Ammareal gives back up to 15% of this item's net price to charity organizations. Nº de ref. del artículo: E-286-630
Comprar usado
EUR 6,99
EUR 20,50 shipping
Se envía de Francia a Estados Unidos de America
Se envía de Francia a Estados Unidos de America
Cantidad disponible: 1 disponibles