A Journey from Process Algebra via Timed Automata to Model Learning

Author : Marielle Stoelinga,Petra van den Bos

Paperback

Published : Wednesday 7 September 2022

ISBN : 9783031156281

Price : €52.64

Description

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.

You may also like ...

A Journey from Process Algebra via Time...

by Marielle Stoelinga,Petra van den Bos

Paperback

07 Sep 2022

Computer hardware

€52.64

Extended stock – Dispatch 5-7 days

Christian Dogmatics

by C Van Der Kooi,Gijsbert Van Den Brink

Paperback

01 May 2022

Christianity

€33.92

Extended stock – Dispatch 5-7 days

Religious Franks

by Bram van den Hoven van Genderen,Rob Meens

Hardback

20 Apr 2016

European history

€105.30

Extended stock – Dispatch 5-7 days

Atmospheric Boundary Layer

by Bart J. H. van Stratum,Kees van den Dries

Hardback

04 Jun 2015

Meteorology and climatology

€67.85

Extended stock – Dispatch 5-7 days

Reviews