adicionar à lista de desejos
Computer-Aided Verification Of Coordinating Processes
The Automata-Theoretic Approach
Book
eBook
language: english
Publisher:
Princeton University Press, July of 2014 ‧
see product details
74,35€
10% OFF
CARD
TXpKWGExZE1OMmh2WTBJMFZWZzJSMGxOZVVwTmFtaEtaa2N2T1V0WVZVMVhlbGx6V2pCc1oybzROVmhvTUhJdksxcHdSMVJDS3psblRYVnRNaTlxWkhOcWVUUnJUV3hPVVdWSlQwVkVRV1JoTUVORU1uVlFVVlUxUlRsdE0yUkJaRzlSU0dOemJETmlNRVkwYmtKdVYyMXJOVUZoUjJoSE5YVlZLMDlQWVhkdWVXeEJZVGRPUkZBNWQwMU5VM0JxZHl0bVFtZzFOV3RJY2taRVRqa3lObmxJZW5wU1lWQnlXRXhzT0c1ekwyWjRUeXRoUjNKSU5FYzRMMkZWZDI1SFUyZzFURzFoWldSRlVtOUpRVkp3WkRSVk9GcDJkMlp0VlhCME5WcHRObEJZUjFKdFMwbFNkQzkwTTBkVmMwTlVOSEExYzNsdFJtaHlVbTV6TWxCMlRpc3JibEZuVDIxWVNuVjVOM1ZWWVhsd1FsaHpZbWM1VXpCU0sySjZLeXR0ZWxkVE9YTnpTazFsZFZwRFREUmhlSFZaVEhwcFEybDVlVzFRYlZSM1RHaFZOUzk2T1dkWU9UUXJlR3h2Y25CcmNVdHNiSFZOWjBFMWQzY3pSM3BtY25oUU15dENZVzQ0TjJaeFozQkdZMDVDVWpaNFdrbEZiVXhXY2xWRlNXdzNjR3BMUzFGQk5USnFWMHBDTDI1SmVIZEVZM0JJTUdvelpYRnBXV3hOV2t0NE0zZHliMDlXUVhrNVJIcHRlRlEzUTBSNE1pOHpRMFl6ZGxKWFlrRkxUM2xDTDJWcFNGQlRXRGR5TjFVeFduRkdkVlpYVHpWeFVVZ3JZVkZRTWtsdmFtTm1LM1oxUm5CSWJXOHpaWGxEYVdaMmFtRjFZV2R0YTFCUGRXWkdURXhpVW01b2VqSlFTQzlEUlhOR1dqRnpWak5ITUVwdFZFWm5iVzkzZFZSamNHSmpObXRzUldSVlREaE9aM2haVlVORE0ydHNTMGxsY0hweVdYTndhRVZCUnk5YVRVMU9Oek40UTB4elUweHBOVTVIVlZoQk4wUnRaM2xoZFc5SVl6TnlXVWRNY0V4TFZHTTRlWFZ4Y1N0bVVFUXdlakZZUlhacFNVTnhSVUZ3YTNKWkswOVRjbVJrV0hNeVJ5ODBhR05ZUlhFcmVsZE5Na1JCWXpCQ2QxbEtUblZsVFV4NFRHeERibUpqVFRSaFZGTnVjV1F6ZEhwMU9EQXpaRW92ZUd0bWVVdzVOM0owYVVOVFZHdG5RVlp3UjFCRmNrcGhjMFZrUmtaU1FsWldkek5sY2pka1Z6ZDBWVEZpUWxwWlNEbDNaRzF1UjFGTlJUWldXSHA0VGsxelJrSmlaVFZXYm1WMVFqWjVVbVptYVdaVVZUWTVkejA5OjIzQ2RoZGpZdEZYVC9DalQzMEVITkE9PQ==
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: | 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 Series In Computer Science |
| Categories: |
Books in English
>
Science
>
Mathematics
Books in English > Others |
| EAN: | 9780691606057 |
BOOKS FROM THE SAME COLLECTION
-
Computer-Aided Verification Of Coordinating Processes10%Princeton University Press197,37€ 10% CARDfree shipping
-
The Implementation Of Prolog10%Princeton University Press209,54€ 10% CARDfree shipping
-
Investment Industry Claims Debunked10%Springer Nature Switzerland AG37,84€ 10% CARDfree shipping
-
Computer-Aided Verification Of Coordinating Processes10%Princeton University Press197,37€ 10% CARDfree shipping