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: E-Buch Text Elektronisches Buch in proprietärem

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

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-031-15629-8 / 978-3031156298 / 9783031156298

Verlag: Springer International Publishing

Erscheinungsdatum: 06.09.2022

Seiten: 581

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

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück