Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science: An Eatcs Series)
by Benedikt Bollig
ISBN 13: 9783540329220
Format: Hardcover (192 pages) Publisher: Springer Published: 24 Jul 2006
Save for later