Gå direkt till innehållet
Model Checking
Spara

Model Checking

Engelska
Lägsta pris på PriceRunner
Undertitel
Logic in computer science, Deadlock, Crash (computing), Algorithm, Logic, Structure (mathematical logic), Propositional calculus, BLAST model checker, CADP, CHIC (electronics), CHESS model checker
ISBN
9786130750671
Språk
Engelska
Vikt
155 gram
Utgivningsdatum
2026-03-18
Sidor
92