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
Y1ZWM09WcFJabUpXV0VobVEyMTFaaTloVUV4S1pVTkRaRU51VjBGVVNpc3dZV1ZEVGpCS1dDOVRSR0ZEUkVRMlJUWlZjVWxoY0VrNE9WWm9WV3RvTlVoM1dYSjFUak0zV0c1UGQzWllPRTloUld4dGRGcDViVEJNUWxaemVXVmpiekZsVjFFeFNpdFBiM2RVWlRoVGFUTjRTV05yY0V0bGFtbDRjbUZWYURKWGJVNU5jWEZ2YVVWaGNsWnhRMVpJVTB0V1Z6TmlZbXBCVFhGVWMzZExiMDVVTnpadlZYSjVXRXhTVW1kd2QzWlFLMVkyYm5oT2IzQTNWRGg0T1hGbVZqQmtOMDVLVVRKR1EyVlBkazVsY1ZacWRqaEtTRk5TVFRNNFp6TjNSRlJsVkdKNlZYaDZSQ3N6YkZGdGRrSkRTWGN3VDJwRVJVOVpZV1pEWW0xaWRFTmFTR00wYVVnd05uUjBiRzFLUVZwVWRFRkJUVmRSY1RsRE5EZDFWbUl6SzNSNmJITlRhVXRHV21ORWVFRjNUbTVUV0VwQmRGTlRWMmxaVEU0emVqVlFXVXRxWkVRMVJFeENja0ZWWW1FMmFGY3hkbVZUYW1aTGFUSjZVM2hzVWtaVWRucFFiSFp0ZVZwQ2VtWnJUVW92Tm1SaU9IcGhjekJoWVhKWWFXRlNjVk12YURWNVoxbGlhbTF6Ym1WNWJEZE5WVFpQUTA1cVV6QjBOMWswUjFSRFpFSnFUbXBOWkRWS2VHa3Jja1poTVRSWU1tMHJXVEZTU2xCRFRYUmFWbWhLVFRGbU1YY3pOa1pIYnpRNGNsTkRjMnBpWVdsb2IxVkhMMEpsUWpOd2JUQkJlV2xsTVdVMFRHbEtiV1EyTm5aSE5sZGtOVFptV0hWa1IxUXhNSEJuZFhWdlRtZDZSakZqTW5sdFdqSTJabFJ4Wnk4ME5XNHZlbXhuTjJWQ1ZIRnlkMnAxUkdSRVR6SkpkakZIUTFKSk5IRkROUzlSYWxwQ2VtTkZlVXRyYlhJeWQyeEJkemhxWjBKemQyb3ZUV3RWUTJ4WlZVVlFNSE5NZFdwalp6TTBUMEV6UzA4NGJYa3pWVmRtYVRsSlVGRnllbTFSVVdOS1Ztc3hXWFJFUlVzeFNuSlpSbVJhWW5kRlVYUlFUV3hNWm5GTlNtdHhWRlo2ZWxWcVRXWkNOV2s0WjNOTWMwbHBTRWx2TkVWVlkyZDBaek5EV1RSVVluSnpaa3BLUVV4d01VaHdTMUJHUzIweVltSnliMk5SVDJZMFNEaFRSSGxEVUU5aWJHRnVjMGh1UnpSdVVXSkJTbTFGUFE9PToranJid2tmaVc0Mm1aWDBUNzlOdjBnPT0=
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.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9781441959980 |
| Publisher: | SPRINGER US |
| Release Date: | June of 2010 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Categories: |
eBooks in English
>
Engineering
>
Electricity and Energy
|
| EAN: | 9781441959980 |
-
imagem não disponívelDigital Twins For Distributed Iot ApplicationsDigital Twins For Distributed Iot ApplicationsPre-order10%Springer Nature Switzerland AG85,16€
94,62€free shipping