Gå direkte til innholdet
Model Checking
Spar

Model Checking

Engelsk
Undertittel
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
Engelsk
Vekt
155 gram
Utgivelsesdato
18.3.2026
Antall sider
92