adicionar à lista de desejos
Scalable Techniques For Formal Verification eBook
language: english
Publisher:
SPRINGER US, June of 2010 ‧
see product details
118,59€
10% OFF
CARD
VEhKM2FWQmpabTVGWVd0bmNuRjVka0Y0YURJeFNWUmtlVTlXY0VOcWFETTNhRFJpU2xkQlJWbENURU5tTldNNE5HRlJUVGRNTDFabE0yUm5kelJoUVZaUGVrUnVaWFJKTHpnNGRFOWpSMWRpTUN0TUx6Z3pRMHM0VjNsUlF6Y3djVzVCYmxneVFXOVZSVWM1TUZsbVJISjNTRTgyYVc1U05HTmtRa2N3WVVFM2VtaG5kbWRyY21WbllWbGhZM0pXZGk5RmJsTjJTMEZWTkU4eVQyUlVXbXB0Uldvek9HTnljVU5ETm5Gd1NqTXZXbVZ2Y205VWVrZzRiSEIyU25oUE1HOXZla2xJYzNOeldsUlFTRWgwTm5SQmExTlFhMFIyZEVkSmIwTnRjV1l5YUc1aFYwY3hhblJLT0VwMGFWVXhXRnBsU3pkcGVqbHNWM1JOVVM5MFFUaDFXRzVMU0VzclpGQlJNMUJOWkdwblNHMHJlakJMYTJWYU1uaDJOVGtyZDJOU1lrNXlaWFF4V0V3eU5UWldaMVp2ZVhKUFpVZ3JZVzA1Y1U5YVVHWlNabkJUU1hkTWJHVktPV3ROWTBFMlRXRm5PRlpvWWtseFFsSm5NMGMyY0hOVGVITnFhVmROVDFGak1rUlZOMDVZYWlzdmFWVjFhVUl4T0ROUFRTdEVZbkprV0hCMVRrcHJPRVo2U21oQ2RUQnZjVXhzUWlzMUwxUjZNblV6YjNCUlZraDFXVlptVkZKWFpqZGFVMloxVW1wV1FVdEJNa1Z2VldKSUsxUkVVMkpPYTFaVU0yNWhUV3BZT1hOUldXdEZibFZwUVZKbVdVRlNPRVp6TlhnelQwbFhPRVkyU2xwUWJuaFBTSEZDZDJadFNucHJNbW80VEVoVWFTOWtXalJFUm5kblRIbHZNMnBQTjB0VGMyeFZLMk5ZVmtwNk1XUnpkR2RPVVhWdVdVZFlZaXRXV1RoNk5GaG1TRWRNV2tWUFJIYzVWVzE1TUdWUVJrZE1OMHQ1TDFGbVIzUllTMVpPV0cxcVdGb3lWREprYWpaWWVVNTViWEpOTHpaamVYWnFSRTFpVW05cWIxZFpXblpPTDNoT1pGcEZSMGhtVlVWQmJXbFRSRXhvY0hkdU56WXZRbXhzTkVwbGJtZEpWREZzYURWRFFrSndWVVU0TDA5aWVucEZUaTgwTldaNE1FcEhWbEpYTjJrM2RXdFdhMGRWWVZSdksyNWtkWGhCUlZGNlpWb3hNMWg1U0c1bWVIVk1Ua0l5U0d4WmVYQTVTV2cyVjNaVFRIbERVMFpvWW5oTVNrSktWRFZ2UFE9PTpKb2VudExEdDhSb1N5VmFhcVdUV3l3PT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
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.
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9781441959980 |
| Publisher: | SPRINGER US |
| Release Date: | June of 2010 |
| Language: | English |
| Format: | eBook |
| Categories: |
eBooks in English
>
Engineering
>
Electricity and Energy
|
| EAN: | 9781441959980 |
-
10%Digital Twins For Distributed Iot ApplicationsSpringer Nature Switzerland AG85,16€
94,62€free shipping