portada Formal Description Techniques and Protocol Specification, Testing and Verification: Forte X / Pstv XVII '97 (en Inglés)

Formal Description Techniques and Protocol Specification, Testing and Verification: Forte X / Pstv XVII '97 (en Inglés)

Formato

Libro Físico

Autor

Editorial

Idioma

Inglés

N° páginas

550

Encuadernación

Tapa Blanda

Dimensiones

23.4x15.6x2.9 cm

Peso

0.79 kg.

ISBN13

9781475752601

Categorías

Ingeniería eléctrica
Ingeniería electrónica
Hardware de redes

Formal Description Techniques and Protocol Specification, Testing and Verification: Forte X / Pstv XVII '97 (en Inglés)

Atsushi Togashi (Autor) · Tadanori Mizuno (Autor) · Norio Shiratori (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 16 a 23 días háb.

$ 355.95$ 177.97

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 177.97

Llega entre el 11 Sep y el 24 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Formal Description Techniques and Protocol Specification, Testing and Verification: Forte X / Pstv XVII '97 (en Inglés)"

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.