TAPSOFT '95: Theory and Practice of Software Development: 6th International Join
123,94 €
Rational spaces and set constraints. - Testing can be formal, too. - Anatomy of the Pentium bug. - First-order logic on finite trees. - The equivalence problem for letter-to-letter bottom-up tree transducers is solvable.
Jetzt bei Ebay:
