Computer Aided Verification (eBook, PDF)
22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings
Redaktion: Touili, Tayssir; Jackson, Paul; Cook, Byron
PAYBACK Punkte
37 °P sammeln!
Andere Kunden interessierten sich für
