Artículos relacionados a Formal Methods for Protocol Engineering and Distributed...
Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX'99: 28 (IFIP Advances in Information and Communication Technology) - Tapa dura
Sinopsis
Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools an industrialization of FDTs. Among the important features presented are:
- FDT-based system and protocol engineering;
- FDT application to distributed systems;
- Protocol engineeering;
- Practical experience and case studies.
Formal Methods for Protocol Engineering and Distributed Systems contains the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification, which was sponsored by the International Federation for Information Processing (IFIP) and was held in Beijing, China, in October 1999.
This volume is suitable as a secondary text for a graduate level course on Distributed Systems or Communications, and as a reference for researchers and industry practitioners.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools an industrialization of FDTs. Among the important features presented are:
- FDT-based system and protocol engineering;
- FDT application to distributed systems;
- Protocol engineeering;
- Practical experience and case studies.
Formal Methods for Protocol Engineering and Distributed Systems contains the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification, which was sponsored by the International Federation for Information Processing (IFIP) and was held in Beijing, China, in October 1999.
This volume is suitable as a secondary text for a graduate level course on Distributed Systems or Communications, and as a reference for researchers and industry practitioners.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación1999
- ISBN 10 0792386469
- ISBN 13 9780792386469
- EncuadernaciónTapa dura
- IdiomaInglés
- Número de páginas516
- EditorJianping Wu, Chanson Samuel T., Quiang Gao
- Contacto del fabricanteno disponible
Comprar nuevo
Ver este artículo
EUR 145,49
GRATIS gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoOtras ediciones populares con el mismo título
Resultados de la búsqueda para Formal Methods for Protocol Engineering and Distributed...
Imagen de archivo
Formal Methods for Protocol Engineering and Distributed Systems: Forte Xii/Pstv Xix'99 : Ifip Tc6 Wg6.1 Joint International Conference on Fo
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Très bon. Légères traces d'usure sur la couverture. Edition 1999. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Slight signs of wear on the cover. Edition 1999. Ammareal gives back up to 15% of this item's net price to charity organizations. Nº de ref. del artículo: D-569-100
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Methods for Protocol Engineering and Distributed Systems (International Federation for Information Processing, Volume 28)
Publicado por
Kluwer Academic, 1999
ISBN 10: 0792386469
ISBN 13: 9780792386469
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, June 9 (weekend SALE item)* 497 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: ZB388287
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Methods For Protocol Engineering And Distributed Systems (international Federation For Information Processing Volume 28)
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Nº de ref. del artículo: ABNR-273802
Cantidad disponible: 1 disponibles
Imagen del vendedor
Formal Methods for Protocol Engineering and Distributed Systems
Impresión bajo demandaLibrería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Gebunden. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools a. Nº de ref. del artículo: 5971055
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Formal Methods for Protocol Engineering and Distributed Systems : Forte XII / PSTV XIX'99
Publicado por
Springer US, Springer US, 1999
ISBN 10: 0792386469
ISBN 13: 9780792386469
Nuevo
Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools an industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT application to distributed systems; Protocol engineeering; Practical experience and case studies. Formal Methods for Protocol Engineering and Distributed Systems contains the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification, which was sponsored by the International Federation for Information Processing (IFIP) and was held in Beijing, China, in October 1999. This volume is suitable as a secondary text for a graduate level course on Distributed Systems or Communications, and as a reference for researchers and industry practitioners. Nº de ref. del artículo: 9780792386469
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Methods for Protocol Engineering and Distributed Systems (INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING Volume 28)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9780792386469_new
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Formal Methods for Protocol Engineering and Distributed Systems
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: Used. pp. 516. Nº de ref. del artículo: 26320635
Cantidad disponible: 1 disponibles
Imagen del vendedor
Formal Methods for Protocol Engineering and Distributed Systems
Publicado por
Springer US, Springer US Sep 1999, 1999
ISBN 10: 0792386469
ISBN 13: 9780792386469
Nuevo
Tapa dura
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools an industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering;FDT application to distributed systems;Protocol engineeering;Practical experience and case studies.Formal Methods for Protocol Engineering and Distributed Systems contains the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification, which was sponsored by the International Federation for Information Processing (IFIP) and was held in Beijing, China, in October 1999.This volume is suitable as a secondary text for a graduate level course on Distributed Systems or Communications, and as a reference for researchers and industry practitioners.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 516 pp. Englisch. Nº de ref. del artículo: 9780792386469
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Methods for Protocol Engineering and Distributed Systems
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Used. pp. 516 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Nº de ref. del artículo: 7560100
Cantidad disponible: 1 disponibles
Imagen del vendedor
Formal Methods for Protocol Engineering and Distributed Systems
Impresión bajo demandaLibrería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools an industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT application to distributed systems; Protocol engineeering; Practical experience and case studies. Formal Methods for Protocol Engineering and Distributed Systems contains the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification, which was sponsored by the International Federation for Information Processing (IFIP) and was held in Beijing, China, in October 1999. This volume is suitable as a secondary text for a graduate level course on Distributed Systems or Communications, and as a reference for researchers and industry practitioners. 516 pp. Englisch. Nº de ref. del artículo: 9780792386469
Cantidad disponible: 2 disponibles