Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic

Languages

von Benedikt Bollig

Taschenbuch

ISBN: 978-3-642-06947-5

ISBN-10: 3-642-06947-9

Springer · 2010

Siehe auch:
2006Gebundene AusgabeFormal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series)