Model Checking av Edmund M. Clarke (Carnegie Mellon University) Jr., Orna (Technion) Grumberg, Daniel (Oxford University) Kroening, Doron (Bar Ilan Un
Populære alternativer
Se andre populære bøkermerker:
Produktet mangler dessverre priser
Prishistorikk
Prisvarsel
Meld deg opp til prisvarsel og få beskjed når produktet får pris.
Egenskaper og detaljer
Generelt
Kategori
Fagbøker, Data og informasjonsteknologi
Strekkoder
GTIN
9780262038836
