STACS 86: 3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsa
49,27 €
Subtitle 3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsay, France, January 16-18, 1986. Abstract interpretation of denotational definitions. - Temporal reasoning under generalized fairness constraints.
Jetzt bei Ebay: