Journey from Process Algebra via Timed Automata to Model Learning 1

Data & IT

Journey from Process Algebra via Timed Automata to Model Learning

Nils Jansen • Mariëlle Stoelinga • Petra Van Den Bos • Marielle Stoelinga • Petra Van Den Bos

Pocket

749:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

581 sidor
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.

Författare: Nils Jansen, Mariëlle Stoelinga, Petra Van Den Bos, Marielle Stoelinga, Petra Van Den Bos
Format: Pocket/Paperback
ISBN: 9783031156281
Språk: Engelska
Antal sidor: 581
Utgivningsdatum: 2022-09-07
Förlag: Springer International Publishing AG