
Conte aos seus amigos sobre este item:
Multi-Valued Reasoning about Reactive Systems
Orna Kupferman
Multi-Valued Reasoning about Reactive Systems
Orna Kupferman
Mídia | Livros Book |
Lançado | 1 de dezembro de 2022 |
ISBN13 | 9781638281382 |
Editoras | Now Publishers |
Dimensões | 172 g |
Idioma | English |
Ver tudo de Orna Kupferman ( por exemplo Book )