Noch Fragen? 0800 / 33 82 637

A Journey from Process Algebra via Timed Automata to Model Learning

Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

Produktform: Buch / Einband - flex.(Paperback)

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. weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-031-15628-1 / 978-3031156281 / 9783031156281

Verlag: Springer International Publishing

Erscheinungsdatum: 07.09.2022

Seiten: 581

Auflage: 1

Herausgegeben von Nils Jansen, Mariëlle Stoelinga, Petra van den Bos

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück