Multi-Valued Reasoning about Reactive Systems |
|
| Author:
| Kupferman, Orna |
| Series title: | Foundations and Trends in Theoretical Computer Science Ser. |
| ISBN: | 978-1-63828-138-2 |
| Publication Date: | Dec 2022 |
| Publisher: | Now Publishers
|
| Book Format: | Paperback |
| List Price: | USD $80.00 |
Book Description:
|
Multi-Valued Reasoning about Reactive Systems is a concise source for all researchers and students wishing to understand quickly the theory behind the topic and the context it has within the wider active research branch.
Multi-Valued Reasoning about Reactive Systems is a concise source for all researchers and students wishing to understand quickly the theory behind the topic and the context it has within the wider active research branch.