Verification, Model Checking, and Abstract Interpretation
Yu-Fang Chen, Thomas Jensen, Ondřej Lengál
Häftad
811 kr
Del i serien Schriften zur Quantitativen Betriebswirtschaftslehre
566 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
