Artículos relacionados a Protocol Specification, Testing and Verification: 11th:...

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

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

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar usado

Condición: Aceptable
365 pp., hardcover, ex library,...
Ver este artículo

EUR 20,98 gastos de envío desde Estados Unidos de America a España

Destinos, gastos y plazos de envío

Resultados de la búsqueda para Protocol Specification, Testing and Verification: 11th:...

Imagen de archivo

Bengt Jonsson , Joachim Parrow , Bjorn Pehrson
Publicado por North-Holland, 1991
ISBN 10: 0444892109 ISBN 13: 9780444892102
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 Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: 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 ref. del artículo: ZB391999

Contactar al vendedor

Comprar usado

EUR 5,75
Convertir moneda
Gastos de envío: EUR 20,98
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Bengt Jonsson, J. Parrow, B. Pehrson et etc.
Publicado por Elsevier Science Ltd, 1991
ISBN 10: 0444892109 ISBN 13: 9780444892102
Antiguo o usado Tapa dura

Librería: Ammareal, Morangis, Francia

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Hardcover. Condición: 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 ref. del artículo: E-311-670

Contactar al vendedor

Comprar usado

EUR 26,30
Convertir moneda
Gastos de envío: EUR 6,00
De Francia a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito