Formal Methods: Foundations and Applications -
2022 |
Zachte kaft |
Engels
Leverbaar
Niet op voorraad in de winkel
€ 69,95
Beschrijving
This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions.
Specificaties
| Uitgeverij | Van Ditmar Boekenimport B.V. |
| Genre | Programmeertalen |
| Uitgave | Zachte kaft |
| Aantal pagina's | 143 |
| Verschenen op | 01-12-2022 |
| ISBN / EAN | 9783031224751 |
| Taal | Engels |
