Reachability Problems: Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings

53.49 EUR

Die Proceedings des dritten internationalen Workshops „Reachability Problems“ aus Palaiseau (23–25 September 2009) sammeln neueste Erkenntnisse zu Erreichbarkeitsfragen in formalen Systemen und liefern für theoretische Informatiker wertvolle Einsichten und methodische Ansätze.

Teilen: