Autorenfreundlich Bücher kaufen?!
Beschreibung
Logic, Modal Logic, Computer Science, Principle of Bivalence, Formal Verification, Linear Temporal Logic, Computation Tree Logic, Model Checking, Logical Connective
Details
| Verlag | OmniScriptum |
| Ersterscheinung | 18. März 2026 |
| Maße | 22 cm x 15 cm x 0.5 cm |
| Gewicht | 125 Gramm |
| Format | Softcover |
| ISBN-13 | 9786130349707 |
| Seiten | 72 |