Powiedz znajomym o tym przedmiocie:
Multi-Valued Reasoning about Reactive Systems
Orna Kupferman
Multi-Valued Reasoning about Reactive Systems
Orna Kupferman
Media | Książki Book |
Wydane | 1 grudnia 2022 |
ISBN13 | 9781638281382 |
Wydawcy | Now Publishers |
Wymiary | 172 g |
Język | English |
Zobacz wszystko od Orna Kupferman ( np. Book )