adicionar à lista de desejos
Computer-Aided Verification Of Coordinating Processes
The Automata-Theoretic Approach
language: english
Publisher:
Princeton University Press, April of 2016 ‧
see product details
197,37€
10% OFF
CARD
ZGxaMlUwOHhNbTk0YkZaSlRtTm9NRkJuZFVndldXWXlNbk4wUTI0ellXcFZTVTlLUkVsdGREZHZLMUpRVDJKUVUzVTNNWE5WTm5ZMFRubzVZWEozYURobWJFVlRSa3RPYjB0MEswODRiMVpOUlhwNWEyZEJURU41TDBnd1VHVkJiSEZzU0RselVVcElLMGRyYWtkT01XOW9RMjFQYWpGRU5XWlNjVk4xYlU4d1lqUlJWSGR3WmtwcmRIZG5Za1ZhZFN0clVHOUlSMlpwYjNGeVVFWkNWMUpGU25jclN6bGxlVTFGWlhGM1l6bHliRll5VEdSbmNFcGFVbmwwSzNaUVNWUTBNbmgyYTBod1pUTnZZa1puVm5oalp6Z3hhbGs0TTBkQ2QwWmxaRVpRY0ZwVmJrWm9LM1JsZFV0clJXdEZkVzVUY0RJeGNDOXNNV05FV0RRNVNrOUZXVUZZWVdsdVpWWmtjVFJTT1VGSWVHMVdaWGt2YW1jMlltVkVaM0ZKWmtOelRrMWxabWx0ZWpWNFdEUmhRVGR0T0hGd1Z6ZGlZVGhJVWpodWNGaDVPVXBzZVVjeVJGTjVhMmhwZDJwVFdXNVlUbkJXZHpSaFRITTVObk50WlZGRVJtZE5RMEZ5VFhGT2NuRlVWaXRsYWtsbllUQXpaVFZSZFRCSVpXaENOazE0T1cxVVJqWjFUazlZWnpJNWRGZGhUbTgyTUZWQlJXdHVlR2hxY0hCYU1HTlFXRWRKVDBkMWFqSXJPWEZGY0dRMGNDOVZURXREUTNoQ1puZFphM294YURoalJHMWpZMFJuVERkNlVFZFJSazE2Vm5GNWJXOVVlRUV4Y1ZGcVYzRjFablZvTm1aNWJHMVpkR2RDZVV4aE5WUktTMGhTZUhKM1VHNXNkME15VldSSFNHbERkV3B6VTJoRWMwZ3hiWEZQVnpaMUsyNWtRWEI1WkZKVk9WaE1ZVzVuT1VKeGEwWllXblp0WlU5eGFHdDFMMjV6YlhjelZtRXpRVmx1UmprMFJYTlVjbE0xY1hWd2FrZEVabmhWWkVoeE1tVndRVTl2TlROclYydHVhWHB6UzJvNWVtSnlRamx2VEV0b01YRXpNVkJwV0hCMmFFUk9kWFYzZVVkMmFqVXJOVkJtVEhFMmNISTFiMDlJTkVOVlkxbHpha2RTTVcxeVQxVmFNbmhLVkZSaGNtSjZTVGRrTTJ0b1JtbEhiaTh4YTBJMFl6VlplRTVXV1d4aGFqVndaMVpPZG14ek9IUnJWMkV5Y1dJNWFIcHhObEZaUjI5b2VHdFRaV3B4WlRkTWVHaEdkbTlsU1ZKR1kweHBTMU5aU1VoRlRDdGpZbVpUYTFCbVNDOXRja3RTWW5oTVEwZzRRMGxUZFdSdVRWZEhRVDA5OnhkTFV6QTlRWjN5dDJRN1JZSVEwV3c9PQ==
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
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9780691634890 |
| Publisher: | Princeton University Press |
| Release Date: | April of 2016 |
| Language: | English |
| Dimensions: | 152 x 229 x 20 mm |
| Cover: | Hardcover |
| Pages: | 284 |
| Format: | Book |
| Collection: | Princeton Legacy Library |
| Categories: |
Books in English
>
Science
>
Mathematics
Books in English > Others |
| EAN: | 9780691634890 |
BOOKS FROM THE SAME COLLECTION
-
States, Social Knowledge, And The Origins Of Modern Social Policies10%Princeton University Press70,30€ 10% CARDfree shipping
-
Great Siberian Migration10%Princeton University Press56,78€ 10% CARDfree shipping
-
Investment Industry Claims Debunked10%Springer Nature Switzerland AG37,84€ 10% CARDfree shipping
-
Computer-Aided Verification Of Coordinating Processes10%Princeton University Press74,35€ 10% CARDfree shipping