Foundations of Software Technology and Theoretical Computer Science: 11th Confer
75,24 €
Program checking. - Randomizing reductions of search problems. - AC-equation solving. - On the operational interpretation of complex types. - Tense logics for local reasoning in distributed systems.
Jetzt bei Ebay:
