Frete Grátis
  • Google Plus
Livro Digital

Formal Methods for Industrial Critical Systems (Cód: 9293683)

Stefania Gnesi; Tiziana Margaria

Wiley (Digital)

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$ 123,79 em até 4x de R$ 30,95 sem juros
Cartão Saraiva R$ 117,60 (-5%) em até 1x no cartão ou em até 6x de R$ 20,63 sem juros
Grátis

Cartão Saraiva

Descrição

Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner. Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of Applications presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems.

Características

Produto sob encomenda Sim
Marca Wiley (Digital)
Cód. Barras 9781118459867
Início da Venda 09/03/2016
Territorialidade Internacional
Formato Livro Digital Pdf
Gratuito Não
Proteção Drm Sim
Número da edição 1
Idioma 337
Código do Formato Pdf
Ano da Publicação 112
Peso 0.00 Kg
AutorStefania Gnesi; Tiziana Margaria

Avaliações

Avaliação geral: 0

Você está revisando: Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems (Cód: 9293683) Formal Methods for Industrial Critical Systems (Cód: 9293683)
R$ 123,79
Formal Methods for Industrial Critical Systems (Cód: 9293683) Formal Methods for Industrial Critical Systems (Cód: 9293683)
R$ 123,79