
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