Bemærk: Kan ikke leveres før jul.
Forventes på lager: 07-09-2022
Frits has been a Professor of Informatics for Technical Applications at Radboud University Nijmegen since 1995, where his research focuses on formal methods, concurrency theory, verification, model checking, and automata learning. The volume contains contributions of colleagues, Ph.D.
| Forlag | Springer International Publishing AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 1st ed. 2022 |
| Udgivelsesdato | 07-09-2022 |
| Første udgivelsesår | 2022 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 66 Illustrations, color; 67 Illustrations, black and white |
| Fagredaktør | Nils Jansen, Marielle Stoelinga, Petra van den Bos |
| Originalsprog | Switzerland |
| Sideantal | 581 |
| Indbinding | Paperback / softback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 581 pages, 66 Illustrations, color; 67 Illustrations, black and white |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783031156281 |