Del 11561
Computer Aided Verification
Inbunden, Engelska, 2020
854 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 11561
Del 11562
Del 10747
Verification, Model Checking, and Abstract Interpretation
Isil Dillig, Jens Palsberg
Häftad, 2018
565 kr