Artículos relacionados a Proceedings of the IFIP TC/WG 6.1 Third International...

Proceedings of the IFIP TC/WG 6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communications ... '90, Madrid, Spain, 5-8 November, 1990 (3rd) - Tapa dura

 
9780444890245: Proceedings of the IFIP TC/WG 6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communications ... '90, Madrid, Spain, 5-8 November, 1990 (3rd)

Sinopsis

This proceedings contains a selection of papers covering the most relevant areas of application of standardized FDTs, including ASNI, Estelle, LOTOS and SDL. An extensive description of tools for FDTs is provided as well as applications related to implementation derivation, design by stepwise refinement, testing, transformation, formalization of standards, industrial transfer, and others. A small number of papers dealing with language issues, basic theoretical aspects of the target FDTs, and comparisons between standardized FDTs and alternative approaches have also been included.

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

Reseña del editor

This proceedings contains a selection of papers covering the most relevant areas of application of standardized FDTs, including ASNI, Estelle, LOTOS and SDL. An extensive description of tools for FDTs is provided as well as applications related to implementation derivation, design by stepwise refinement, testing, transformation, formalization of standards, industrial transfer, and others. A small number of papers dealing with language issues, basic theoretical aspects of the target FDTs, and comparisons between standardized FDTs and alternative approaches have also been included.

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

Comprar usado

Condición: Excelente
Ancien livre de bibliothèque. Edition...
Ver este artículo

EUR 22,50 gastos de envío desde Francia a Estados Unidos de America

Destinos, gastos y plazos de envío

Resultados de la búsqueda para Proceedings of the IFIP TC/WG 6.1 Third International...

Imagen de archivo

Juan Quemada, E. Vazquez, J. Ma#as et etc.
Publicado por Elsevier Science Ltd, 1991
ISBN 10: 0444890246 ISBN 13: 9780444890245
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. Edition 1991. Tome 3. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1991. Volume 3. Ammareal gives back up to 15% of this item's net price to charity organizations. Nº de ref. del artículo: E-311-697

Contactar al vendedor

Comprar usado

EUR 2,70
Convertir moneda
Gastos de envío: EUR 22,50
De Francia a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito