Scientific book dedicated to Frits Vaandrager

The authors of the recently published book "A Journey from Process Algebra via Timed Automata to Model Learning" have dedicated their book to Frits Vaandrager on the occasion of his sixtieth birthday. It is available as an e-book on this page.

Frits is overwhelmed: "It was of course great to receive such a book as a gift, but also quite overwhelming that so many colleagues I have worked with have taken the trouble to contribute!"

The book is part of the Lecture Notes in Computer Science. Frits is a professor of Software Science on this faculty. "During my career I have changed topics a few times, which makes it extra nice to have contributions from colleagues from all these periods. Still, there is a common thread that runs through almost all of my publications: How can we automatically prove correctness or find errors in software?"

The book is, of course, findable in RUQuest. It can be downloaded as a PDF from this web page. It is also possible to search within the book and to download chapters separately.

Are you missing a book in our collection? Let us know!

Team Library of Science
HG00.011
024-3652567
infobfac@ubn.ru.nl
Library Guide Science