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
YUU5V2JUTkRPRWQ0VURVelFsQXZWMG81V0hremQwUkJNa3hLVFVSRFdFWXhTVFo1VWxCQlltMVRVMFZqTURKR2JpOW1TamhTTW1oblNXSnNaMXB4Y0cxQ2Eyc3pRMFJIWVdOMGFHRkRjRzVsTTNoMFdVa3JZbGhWZGtGeE0zQndSWEEyTWxkd05VZDRWbTFMVlV4MGMwODJXVFZhTUUxM1NrUkRZMHg0VkdNd1FVMU9jV0pXVkM5a0t6VlBia3BLTUhKdmEyVk1WR2g2TW1GdFRsTlRabEpEUTJSUmMyUkZha05HT0dVMFIzYzJLemd4ZGpSTVkxaFFXREp6UzBJeWJGcFhOMlZvYUZSNlMwaHBkRWhJV1dkWVJVRkJPVEJSUTA5b1RsVlFXa1JNYVhwaWRGRjBUVVZGYmswemMyVm1ZM0JXTXpWRmIzWlJURUZKZVVkTE5XTlFSSHBKVUVwMVFXZFpXbkZEVVZOelZqRlFabWx0Y2xKdGFHaG1RU3RhYzJoTVYyUTFURXQwVjFrNU1YQktRMUYxYzBST1Myd3pOVkpETUd0TGVrRkNWMFJyYkZwd1pWWXhVbFJTU1ZWaGVsQXJOVEZDYVVGeWQwOUJUR1pzTDNOQmFYSldZMHBCTlhab04wSTJNbTVxV0hwRVExWXdkbkpvWVZaV2FrNWplVVZsTnpCTmExQkZjRGRaSzNKYU4wWkdPRWg2TkVNMVpXZExSVUpTWVhKWFRWaEVaR1UxT1hablpYcERNbnBEZFdSWlVGQXhXVTVqTkRaamVqbDBPRzE0VmxCUU1EWnlRazFXUWxkUGNEUlBkVTVQWXpacWJVMDNTRWdyYm1VM1IyTlpWVmcxT0UwMGRUaHlhV3hDVkZZMGNYbGFVVWc1VTNCSU5tWXhTemhDZWtsNFRESmpMMUZPU1hCTFJIRlplVGRPZDNsTVlqZE5kWGh2YVUxQlZHeHJLMGgxUjNWclRuZEhTRFpOYVZSeGVGZFZabk5zYkhnNE5rRXZUWEp5TlUxSE9GbHVRekZHU2pkV1RtTmFkbkZaZGtaWFdTOU1TQzlES3pGd00wZEVaazFoZDNKYWJETTVhRGxJUzB3eGRHcHRaVGRwUjJseWRYUTRja294VFZGS2FuQjNVM2gzVDNKbmRVTkpSRWhUZVRad1FrVmxkbFZMVms1U1dXbExSRUl3Y0RRNFoxTlBVVTF0Vm1jNE0zbFhjMnRITVdKeWNUTkhTR2x2ZUhKaU5HVjFhVmh6V1dGaWQzUmFSMkZYV2pKM0sxZDFUMXBTY1VkVlJESnFRMUY1YXpoUWNFRlVjbXd3UFE9PTpiSjV5VGMyT1dXYXRWTVRGZFlzdWFRPT0=
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 |
| Formato e Compatibilidade: | PDF para ADE |
| Classificação Temática: |
eBooks em Inglês
>
Engenharia
>
Eletricidade e Energia
|
| EAN: | 9781441959980 |
-
imagem não disponívelDigital Twins For Distributed Iot ApplicationsDigital Twins For Distributed Iot ApplicationsPré-lançamento10%Springer Nature Switzerland AG85,16€
94,62€portes grátis