Computation Engineering: Applied Automata Theory and Logic
Publisher: Springer
Published: Sep 10, 2006
Number of pages: 472
ISBN-13: 9780387325200