Produto indisponível
Este produto está temporariamente indisponível. Este livro apresenta vários métodos semi - formais e formais para especificação de requisitos de sistemas de computação, incluindo: A conceituação de especificações formais; A especificação de um sistema-exemplo utilizando-se três métodos formais com abordagens distintas: algébrico, VDM e um método de especificação baseado em modelo operacional.
| Peso: | 0,29 kg |
| Número de páginas: | 183 |
| Ano de edição: | 1989 |
| ISBN 10: | 0000215163 |
| ISBN 13: | 9780000215161 |
| Altura: | 23 |
| Largura: | 16 |
| Comprimento: | 1 |
| Assuntos : | Engenharia Mecânica |
Todas as regras e promoções são válidas apenas para produtos vendidos e entregues pela Disal Distribuidora.
Disal Distribuidores Associados de Livros S.A. | CNPJ: 622770410001/87 | Av. Marginal Direita do Tiete, 800 - CEP: 05118-100 - São Paulo - SP
TEL: (11) 3226-3100 Atendimento ao cliente pelo e-mail sac@disal.com.br
Nós usamos cookies para melhorar a sua experiência no site e, ao continuar navegando, você concorda com essas condições. Acesse o nosso Portal de Privacidade para visualizar nossas Política de Privacidade, Política de Cookies e Termo de Compromisso e Uso do Site.
Avaliações