Systems and Software Verification: Model-Checking Techniques and Tools

Цена 64.44 - 117.99 USD

EAN/UPC/ISBN Code 9783540415237
Брэнд Springer
Автор