Automata Theory Mehr Bücher von Javier Esparza & Michael Blondin

Automated Technology for Verification and Analysis

2019

Foundations of Software Science and Computation Structures

2017

Unfoldings

2008