4266352
9780471838340
Mathematical Background. Models for Computer Science: Automata and Grammars. Solvable and Unsolvable Problems. The Complexity of Computing. Formal Semantics. Proving Program Properties. Nondetermination and Parallel Computation.Mandrioli, Dino is the author of 'Theoretical Foundations of Computer Sciences - Dino Mandrioli - Hardcover' with ISBN 9780471838340 and ISBN 0471838349.
[read more]