Automata, Languages and Programming: 16th International Colloquium, Stresa, Ital
124,95 €
Subtitle 16th International Colloquium, Stresa, Italy, July 11-15, 1989. Realizable and unrealizable specifications of reactive systems. - Limitations of the upward separation technique (preliminary version).
Jetzt bei Ebay: