Formal Description Techniques and Protocol Specification, Testing and Verification

Tadanori Mizuno Atsushi Togashi Norio Shiratori

ISBN 10: 0412820609 ISBN 13: 9780412820601

Editorial: Springer, 1997

Idioma: Ingl�s

Nuevos Condici�n: New Encuadernaci�n de tapa dura

Guardar para m�s tarde

Librer�a: Books Puddle, New York, NY, Estados Unidos de America

Calificaci�n del vendedor: 4 de 5 estrellas

Vendedor de AbeBooks desde 22 de noviembre de 2018

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Nuevos - Encuadernaci�n de tapa dura

Precio: EUR 201,54 Convertir moneda

EUR 10,05 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. 580. N� de ref. del art�culo 26535184

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Formal Description Techniques and Protocol ...

Editorial: Springer

A�o de publicaci�n: 1997

Encuadernaci�n: Encuadernaci�n de tapa dura

Condici�n: New

Acerca de

Sinopsis:

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.

Rese�a del editor:

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.

"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:

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
aceptados por la librer�a

A�adir una petici�n