Search alternatives:
languages » language
automata » automated, automatic
Cover Image
Read Now

1
by Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Published 1997
Springer New York
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

2
by Apt, Krzysztof R., de Boer, Frank S., Olderog, Ernst-Rüdiger
Published 2009
Springer London
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

3
by Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Published 1991
Springer New York
Subjects: “...Formal Languages and Automata Theory...”
Cover Image
Read Now

4
Published 2017
Springer International Publishing
Table of Contents: “... -- Computing Verified Machine Address Bounds during Symbolic Exploration of Code -- Engineering a Formal...”
Cover Image
Read Now

5
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...Methodology -- Theories of programming: Top-Down and Bottom­up and Neeting in the Middle -- A...”