Frete Grátis
  • Google Plus

Synchronous Programming Of Reactive Systems (Cód: 6107840)

Nicolas Halbwachs

SPRINGER VERLAG POD

Ooopss! Este produto está temporariamente indisponível.
Mas não se preocupe, nós avisamos quando ele chegar.

Ooops! Este produto não está mais a venda.
Mas não se preocupe, temos uma versão atualizada para você.

Ooopss! Este produto está fora de linha, mas temos outras opções para você.
Veja nossas sugestões abaixo!

R$ 1.196,30 em até 10x de R$ 119,63 sem juros
Cartão Saraiva R$ 1.136,49 (-5%) em até 1x no cartão ou em até 12x de R$ 99,69 sem juros
Grátis

Cartão Saraiva

Descrição

This book presents a synthesis of recent works concerning reactive system design. The term `reactive system' has been introduced in order to avoid ambiguities often involved with the term `real-time system' which,
while being best-known and suggestive, has been assigned so many different meanings that it is almost inevitably misunderstood. Industrial Process control system, transportation control and supervision systems, signal
processing systems, etc. are examples of the systems we have in mind. Four programming languages are presented, which share the same underlying synchronous model: based on Robin Milner's
pioneering works about synchronous process algebras, this model consists in considering that a program instantaneously reacts to events, or that the machine execution time is negligible with respect to
the response delays of its environment. Using this abstract point of view, the time behavior of a system can be formalized in a very simple and elegant way. The languages presented are ESTEREL, a textual
imperative language; ARGOS, a graphical language inspired by STATECHARTS; and LUSTRE and SIGNAL, two declarative languages. After a tutorial description of the languages, illustrated by various examples, a set
of related tools is presented: compilers to sequential and distributed code, silicon compilers, verification tools.

Características

Produto sob encomenda Sim
Marca SPRINGER VERLAG POD
Cód. Barras 9780792393115
Altura 23.40 cm
I.S.B.N. 9780792393115
Profundidade 1.27 cm
Referência 9780792393115
Ano da edição 1992
Idioma Inglês
Número de Páginas 192
Peso 0.45 Kg
Largura 15.60 cm
AutorNicolas Halbwachs

Avaliações

Avaliação geral: 0

Você está revisando: Synchronous Programming Of Reactive Systems