
Model Checking
- 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
- Förlag
- OmniScriptum
- Sidor
- 92