Protocol Specification, Testing and Verification: 11th: 1991: International Workshop Proceedings (Protocol Specification, Testing and Verification: International Workshop Proceedings) - Tapa dura
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.
Resultados de la búsqueda para Protocol Specification, Testing and Verification: 11th:...
Imagen de archivo
Protocol Specification, Testing, and Verification XI
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
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. Photos available upon request. Nº de ref. del artículo: ZB391999
Comprar usado
EUR 127,07
Envío por EUR 3,92
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles