MPG.eBooks - Search Results - (("formal languages and automatic theory") OR ("formal languages and automata theory"))

Search alternatives:
"formal languages and automatic theory" » "formal languages and automatic theorem", "formal languages and automation theory", "formal languages and axiomatic theory", "formal language and automatic theory"
"formal languages and automata theory" » "formal language and automata theory", "formal languages and automated theory"

Cover Image

1

Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude

by Ölveczky, Peter Csaba
Published 2017

Springer London

Subjects: “...Formal Languages and Automata Theory...”

Cover Image

2

Logic, Rewriting, and Concurrency : Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

Published 2015

Springer International Publishing

Subjects: “...Formal Languages and Automata Theory...”

Cover Image

3

Formal Aspects of Component Software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

Published 2018

Springer International Publishing

Subjects: “...Formal Languages and Automata Theory...”

Cover Image

4

Rewriting Logic and Its Applications : 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers

Published 2010

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Cover Image

5

Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Published 2019

Springer International Publishing

Subjects: “...Formal Languages and Automata Theory...”

Cover Image

6

Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Published 2016

Springer International Publishing

Subjects: “...Formal Languages and Automata Theory...”

Cover Image

7

Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Published 2012

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”