Semantics of Type Theory
Autor T. Streicher
29 oct 2012
Paperback
Preț: 565.87 lei 665.72 lei
6-8 săpt.
-15%
Progress in Theoretical Computer Science
Canonical Equational Proofs
Autor Bachmair
iun 1991
Paperback
Preț: 367.68 lei
6-8 săpt.
Finite Automata, Formal Logic, and Circuit Complexity
Autor Howard Straubing
3 mai 1994
Hardback
Preț: 621.91 lei 731.66 lei
6-8 săpt.
-15%
Complexity Theory of Real Functions
Autor K. Ko
13 mar 2012
Paperback
Preț: 566.24 lei 666.17 lei
6-8 săpt.
-15%
Verifying Temporal Properties of Systems
Autor J. C. Bradfield
25 feb 2012
Paperback
Preț: 365.99 lei
6-8 săpt.
Nondeterminism in Algebraic Specifications and Algebraic Programs
Autor Hussmann
22 mar 2012
Paperback
Preț: 374.59 lei
6-8 săpt.