|  |
| |
| Artikel-Nr.:
858A-9783031156281 Herst.-Nr.:
9783031156281 EAN/GTIN:
9783031156281 |
| |
|
| | |
| This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. 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. Weitere Informationen: | | Author: | Nils Jansen; Mariëlle Stoelinga; Petra van den Bos | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, architecting, architecture verification and validation, artificial intelligence, automata theory, computer hardware, computer programming, computer science, computer systems, databases, embedded systems, engineering |
| | |
| |