Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ?97 (IFIP Advances in Information and Communication Technology)

Togashi, Atsushi; Mizuno, Tadanori; Shiratori, Norio; Higashino, Teruo

ISBN 10: 1475752601 / ISBN 13: 9781475752601

Verlag: Springer, 2013

In. Bestandsnummer des Verkäufers ria9781475752601_new

Inhaltsangabe:

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.

Über die Autorin bzw. den Autor: Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.

Bibliografische Details

Titel: Formal Description Techniques and Protocol ...
Verlag: Springer
Erscheinungsdatum: 2013
Einband: Softcover
Zustand: New