Destacado
Comparar tiendas web (1)
Páginas: 620, Edición: 2002 ed., Tapa dura, Springer
Springer
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. EATCS Series)
Theory of Computation (Texts in Computer Science)
Volver arriba