adicionar à lista de desejos
Computer-Aided Verification Of Coordinating Processes
The Automata-Theoretic Approach
language: english
Publisher:
Princeton University Press, July of 2014 ‧
see product details
74,35€
10% OFF
CARD
VUZFd1UxRnhSMWhNZUcxamVUbDZRV00xYlhWNGNtaHBOelYxVmtOVlpXOWlNMnRsUkVsWlp6WnhOWFozWkhWMGIxaDFjMFoxVTBKSWNrRkpjRlUwVDFaS1p5OUNNR2xDUjFacFNYaEdaVlpzYUc4NU5VaHlZMnhPWldsek1HUkNhbEYxTTJWSFpGVlpZMVZYWjNsVVNIVk5Sa1pEYmtGR2NuQm9LMVF6V1d0MFIxY3pkV2h4WlRCMlNXSTRNSEV3TVRaRFJIVkRNMjFHZVdReVVVcExZak5pYTBkemVpOVhZaXM0UjJaT1NHZGhTRGhxUVVkTmVXRm9WMVpRUm05b1NsaGxiRXRyYUVka1ptcDNkblJvVHpBM00xTnRRbTVuVkVsTVN6UlpjR3BYY1RsckwzUm1TMFJoY0ROQlVtbERhWFV4VXpWS1F6bDVjVEpUU1ZGS2EyaExVemRMY0ZKeGJXOXNXRWM0VG05T1FXcG1aa0kyY2xNd2NraENXVGd6UTJ0bmFUQTNTbHBPYm5veVZteHVOa3R5YW1SU2JVaEJOVFF2Ukd0RlltWXlNRTVUY1hSbmFIcFBkMGxrYUVrM2FHc3llRGt6TVRWME16Wk9lREpOY0dSQ2Izb3ZaVmRKTmxwell6WXZRWEJyUzFKdE1uaHViSFowY1ZrNUx6VjVVR3BCWnl0eFpHTkZLM0ZJZG1wSmJsRlZhRXBKTkhOaVMyRkxWR2xCUVRkVFdFeDJkM0pDTjBWbWEwRTFRV2s0ZEN0S2VUWnZUbTlWZFRSV2R6Qk1LMFJVTVZNM09VdGtOM2hqYzA5d2RXNVBiR0o0V2s5SVRURlpjRWRvVlU1SFFVZHhhekJ4TkZveVRHOTZORlZtZVRkMlJucE1jRFl3ZUhFd2QyWTJSR0UyZFhsU1ZWRldiMHBLVjFwbFdHdEpObFpLTlRsWGNsZzFjbWcyY2pOTFVIUnZjR2gyT0VOUWRHOUxkbTh6ZDB0TlZuRllPVFpzUmxWME1qVkZUV2xyVTB3NGRVaDRUbmhFZUZJMGRpdG9OVFJFYm5kSE5FWjBUMVJwYjJneGJsSlpkR2hHWmt0SWEwUkdUbEZPWlRWMVFrOW9VR1U1TXpCTFEyaElkWGcwTkRjcmREaFBUR1l5UkdaUWRISkpVRVIyZUZscE9EazRXVWgxVGpWck1IQklPRWRMZERKd2NXOVRXa3RRWXpRM2NuaHVWVEI0TjJaV1pWZFRjSGRHT1RCMVpGTkVaWFl4UXpBNFVESXJiVFJTYlZab00yTlVjelpHYmpnNFRGUmpRV1JhUTBjNGRsTkRhRk5ZYTBsTGVtNU1URXA1TUd4SGFGbHdhWEJPVm5CeldUQmFlRWhYY1RWUmMwWnpTV3RxYTBGRVVFOVNRVDA5Ok5UWDFlamJrV1Z6MDFrTjVxQmwrcUE9PQ==
free shipping
Sell your book
SYNOPSIS
Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodo
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9780691606057 |
| Publisher: | Princeton University Press |
| Release Date: | July of 2014 |
| Language: | English |
| Dimensions: | 152 x 229 x 20 mm |
| Cover: | Softcover |
| Pages: | 284 |
| Format: | Book |
| Collection: | Princeton Legacy Library |
| Categories: |
Books in English
>
Science
>
Mathematics
Books in English > Others |
| EAN: | 9780691606057 |
BOOKS FROM THE SAME COLLECTION
-
10%States, Social Knowledge, And The Origins Of Modern Social PoliciesPrinceton University Press70,30€ 10% CARDfree shipping
-
10%Great Siberian MigrationPrinceton University Press56,78€ 10% CARDfree shipping
-
10%Investment Industry Claims DebunkedSpringer Nature Switzerland AG37,84€ 10% CARDfree shipping
-
10%Computer-Aided Verification Of Coordinating ProcessesPrinceton University Press197,37€ 10% CARDfree shipping