*Price HAS BEEN REDUCED by 10% until Monday, Aug. 25 (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

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Formal Methods for Protocol Engineering and Distributed Systems (International Federation for Information Processing, Volume 28)
Editor: Kluwer Academic
Fecha de publicaci�n: 1999
Idioma: Ingl�s
ISBN 10: 0792386469
ISBN 13: 9780792386469
Encuadernaci�n: Encuadernaci�n de tapa dura
Estado: Good

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

FDT-based system and protocol engineering;
FDT application to distributed systems;
Protocol engineeering;
Practical experience and case studies.

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

Descripci�n de la librer�a

Zubal Books is the #1 buyer and seller of scholarly and rare books in America. Since 1961 we've handled thousands of private and technical libraries. Our family business knows books and we treat our clients with top-notch customer service. If you have any questions about our listings, please don't hesitate to contact us. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Zubal Books
2969 West 25th Street, Cleveland, OH, 44113, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

Price are net to all
Visa/MC/Check/Money Order
Libraries Invoiced

We do accept checks, however
WE DO NOT HOLD OR RESERVE ANY ITEMS

All international postal rates are subject to change depending on weight
and size.

Condiciones de env�o

Orders usually ship within 2 business days. Shipping costs are based on books
weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may
contact
you to let you know extra shipping is required.

Buyer is responsible for any additional duties, taxes, or fees required by recipient's country

Informaci�n detallada sobre el vendedor