Computer Aided Verification

Inbunden, Engelska, 2020

Av Serdar Tasiran, Isil Dillig

1 309 kr

Beställningsvara. Skickas inom 7-10 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (3)

1 059 kr

Skickas inom 7-10 vardagar

1 249 kr

Skickas inom 7-10 vardagar

1 139 kr

Skickas inom 7-10 vardagar

Produktinformation

Utgivningsdatum2020-10-08
Mått216 x 279 x 37 mm
Vikt1 842 g
FormatInbunden
SpråkEngelska
Antal sidor680
FörlagSaint Philip Street Press
ISBN9781013271175

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it

Mer från samma författare

Du kanske också är intresserad av