adicionar à lista de desejos
Scalable Techniques For Formal Verification eBook
idioma: inglês
Editor:
SPRINGER US, junho de 2010 ‧
ver detalhes do produto
118,59€
10% DESCONTO
CARTÃO
WlUwMWNUQkJiMFpoYzBOd1lUSldOR1JKVUc4NVNqSmpkMUJ0YVRCUFlqUnFSVkpPTUc1bGVUSmtWMHRUT0VrNFEwSXdaM1ZNUmxCUk1TdDRWMFY0T0dOdmJEVkhaV1E1VjFOaFVsRm1NbkpzUW1nMFVVcG5URVpuVWxCbmVqUXplVFpTVVdGR1ZHazFMMmRqZFdkalltcHpWR2w2UlU5VmRVZG5TV1ZEVlRseFRqVTNkV1JLUlVwNVVrbGxNRkZvTW1WM1YyRjBkR2xUUnpSMllrUlRabFZDYTJ4RFlWaDBObkpDUkZCYWIzZHhNbm8xV0dsR2JsTXpkakp3TkRocWRrUjNNWHA0VVRKMk5IcGhPRFpvUmxkT00wMU1lR2xtY1U5b1RFWkpOMWhrYld0b2NsbFFSSEJtUVRWaE1tZDJaVzFFVVhWNFZUbHhUVWRWWVZoTVJWcEdaelZaYmt3ME1UWk1jR1ZQZDB4TFQxRnpUMGx2VHpoalNXUlROVkZFYUV0a1ZGQlplRkJ2VW14WlIwVlpibVo1U0dSbFMzZERZbVJPVmpKbVduUjBVbFJWTjNwMVMxYzROa3czSzJocmVXeFlXSFpoVVc1UlVXSTBOVzFLVGpkSFRIVlZOblp6TkZKNlVWRktOakY0V1VoWWRYVkVjMlpwUkhwblFUQk9aVkp1TjFvcmRHSnRkSEJ0VlRaNFdIaFpabHB0Y1VkV1ZXc3pOM0ZEUTBkVE9HMUNPRFp6TmtsUFZucE5iRXRzV0ZSVFVTdHFhSEo0UjA1aU1sWXllbUY0V0RoS1JqbFhVMm9yUzNOMlEzQnROSE0wYXpoT1RtaExOWHBhY0dkellXSkRibXRXTkdKTFNWWlZZbXRhU0ZSUFZYSjZieTlXYTIxa2FtTXphWGMzY2poUVF5OHJUV3RtWVVSTlF5dGhPRU12U0V4clpuTm9aR2d3U2xNdlIzcHJWM3BRVEZZMWIzaHFRMGRuVkhBclRrMTRWRkU0VEN0SE1EZFFPR3huTTFCVWRFNUxTalUxYVRJME1IY3hXalJzWjFob1JVaFZURzVQWWxwbVNUWmlhQ3QzUkc0MWJuVTRZelV3UlVzelF6aHVNQ3RUY2xwbWVrbExNbVJTVVhsbU1tSkNTMWxUTDJoTldITkZPRzlKTDJwdlowRXpVamt6YUdFNFFXbHlUMlZHU0VKRk5tTkJhRFprU0RWRFZIRTBZak12UlZFMmJHdDRlakpXYjA5Qk4wbEdaRkpMWWpOQ04yczNVRTlGWWxoU2FVdGtWVTFoY2xkdlJXSlFUbU5WYURod01GbHlNRXRuUFE9PTpuSXAvMExMYkJVZ1dobXZBRkNKS0V3PT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
Presents the approaches to formal verification techniques to integrate different formal verification methods within a single logical foundation. This book outlines the theoretical and practical issues involved in integrating different reasoning methods to work in concert. It is suitable for researchers and practitioners.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9781441959980 |
| Editor: | SPRINGER US |
| Data de Lançamento: | junho de 2010 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Classificação Temática: |
eBooks em Inglês
>
Engenharia
>
Eletricidade e Energia
|
| EAN: | 9781441959980 |
-
10%Digital Twins For Distributed Iot ApplicationsSpringer Nature Switzerland AG85,16€
94,62€portes grátis