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

Protocol Specification, Testing and Verification: Proceedings of the IFIP TC6/WG6 1 Thirteenth International Symposium, Liege, Belgium, 25-28 May ... (IFIP Transactions C: Communication Systems) - Tapa blanda

 
9780444816481: Protocol Specification, Testing and Verification: Proceedings of the IFIP TC6/WG6 1 Thirteenth International Symposium, Liege, Belgium, 25-28 May ... (IFIP Transactions C: Communication Systems)

Sinopsis

Protocol specification, testing and verification (PSTV) brings together contributions from researchers and practitioners interested in the application of formal methods to the design, description, analysis, implementation and testing of complex and safety-critical systems such as distributed systems or communication protocols and services. The 20 selected papers included in this publication provide a comprehensive account of the current state-of-the-art in this field. They consider, in particular, protocol engineering, improvement of formal methods, verification and synthesis methods, conformance testing and application to real case studies. Two invited papers complete the volume and address the industrial applicability of the techniques. Researchers, computer scientists and post-graduate students concerned with data communications and computer networks should find the book offers a valuable insight into this rapidly developing arena.

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

Reseña del editor

Protocol specification, testing and verification (PSTV) brings together contributions from researchers and practitioners interested in the application of formal methods to the design, description, analysis, implementation and testing of complex and safety-critical systems such as distributed systems or communication protocols and services. The 20 selected papers included in this publication provide a comprehensive account of the current state-of-the-art in this field. They consider, in particular, protocol engineering, improvement of formal methods, verification and synthesis methods, conformance testing and application to real case studies. Two invited papers complete the volume and address the industrial applicability of the techniques. Researchers, computer scientists and post-graduate students concerned with data communications and computer networks should find the book offers a valuable insight into this rapidly developing arena.

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

Comprar usado

Condición: Excelente
Ver este artículo

EUR 15,08 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: Proceeding...

Imagen de archivo

Publicado por North Holland, 1993
ISBN 10: 0444816488 ISBN 13: 9780444816481
Antiguo o usado Paperback

Librería: Bookmonger.Ltd, HILLSIDE, NJ, Estados Unidos de America

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

Paperback. Condición: Fine. Nº de ref. del artículo: mon0000431581

Contactar al vendedor

Comprar usado

EUR 56,81
Convertir moneda
Gastos de envío: EUR 15,08
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito