Automated Technology for Verification and Analysis
Изчерпано количество
Продуктът не е наличен
Запиши се за известие при зареждане
Информация за "Automated Technology for Verification and Analysis"
- SKU 9783319249520
- Weight 0.744000
- ISBN 9783319249520
- Вид корица Paperback
- Издателство Springer International Publishing AG
- Брой страници 484
The information below is required for social login