Formal Methods for Autonomous Systems
Edición de la obra Formal Methods for Autonomous Systems
Edición de la obra Formal Methods for Autonomous Systems
| Editorial |
|---|
| Now Publishers |
| Fecha de publicación | 2023 |
|---|
| Idioma | inglés |
|---|
| ISBN-13 | 9781638282723 |
|---|
| Número de Cutter | W872f |
|---|