Formal Methods for Protocol Engineering and Distributed Systems

ISBN 10: 0792386469 ISBN 13: 9780792386469

Editorial: Springer, 1999

Idioma: Ingl�s

Condici�n: Usado Encuadernaci�n de tapa dura

Guardar para m�s tarde

Vendido por Books Puddle, New York, NY, Estados Unidos de America

Vendedor de AbeBooks desde 22 de noviembre de 2018

Calificaci�n del vendedor: 4 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa dura

Condici�n: Used

Precio: EUR 229,55 Convertir moneda

EUR 9,87 gastos de env�o desde Estados Unidos de America a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

pp. 516.

N� de ref. del art�culo 26320635

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Formal Methods for Protocol Engineering and Distributed Systems
Editor: Springer
Fecha de publicaci�n: 1999
Idioma: Ingl�s
ISBN 10: 0792386469
ISBN 13: 9780792386469
Encuadernaci�n: Encuadernaci�n de tapa dura
Estado: Used

Acerca de

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.

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.

Descripci�n de la librer�a

I mainly carry imported books from South East Asia / South Asia for readers of all Age Groups.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

PLETOS INC
6931 51st Avenue, WOODSIDE, Woodside, NY, 11377, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

We accept return for those books which are received damamged. Though we take appropriate care in packaing to avoid such situation.

Condiciones de env�o

M�todos de pago

A�adir una petici�n