Verification, Model Checking, and Abstract Interpretation
Yu-Fang Chen, Thomas Jensen, Ondřej Lengál
Häftad
1 069 kr
Del i serien Schriften zur Quantitativen Betriebswirtschaftslehre
Planungsstabilität in der Material-Logistik
Häftad, Tyska, 1996
969 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Produktinformation
- Utgivningsdatum1996-07-16
- Mått155 x 235 x 16 mm
- Vikt441 g
- FormatHäftad
- SpråkTyska
- SerieSchriften zur Quantitativen Betriebswirtschaftslehre
- Antal sidor272
- FörlagPhysica-Verlag GmbH & Co
- ISBN9783790809466