Artboard 33atençãoArtboard 18atualizarconectividadeArtboard 42boletocarrinhocartãoArtboard 45cartão SaraivacelularArtboard 42Artboard 23checkArtboard 28Artboard 17?compararcompartilharcompartilhar ativoArtboard 28Artboard 43Artboard 49Artboard 47Artboard 15Artboard 32ebookArtboard 22Artboard 5Artboard 25Artboard 1Artboard 42Artboard 11fecharfilmesArtboard 23gamesArtboard 4Artboard 9Artboard 6hqimportadosinformáticaArtboard 7Artboard 3Artboard 12Artboard 25Artboard 34Artboard 43Artboard 44curtirArtboard 24Artboard 13livrosArtboard 24Artboard 31menumúsicaArtboard 27Artboard 30Artboard 36Artboard 44outrospapelariaArtboard 17Artboard 6Artboard 27Artboard 30Artboard 29Artboard 26Artboard 2Artboard 20Artboard 35estrelaestrela ativorelógiobuscaArtboard 50Artboard 26toda saraivaArtboard 40Artboard 21Artboard 10Artboard 37usuárioArtboard 46Artboard 33Artboard 8seta

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

Nicolas Halbwachs

SPRINGER VERLAG POD

Vendido e entregue por Saraiva

Este produto está temporariamente indisponível no site, mas não se preocupe, você pode reservá-lo para retirada em uma loja física!

Reserve seu produto na loja para retirada em até 1 hora.
Ops! Este produto está temporariamente indisponível. Mas não se preocupe, nós avisamos quando ele chegar.
Ops! 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: 1x de R$ 1.136,49 (-5%)

Total:

Em até 1x sem juros de


Crédito:
Boleto:
Cartão Saraiva:

Total:

Em até 10x sem juros de


Synchronous Programming Of Reactive Systems

R$1.196,30

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