Siirry suoraan sisältöön
Model Checking
Tallenna

Model Checking

Alaotsikko
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
Kieli
englanti
Paino
155 grammaa
Julkaisupäivä
18.3.2026
Kustantaja
OmniScriptum
Sivumäärä
92