Autorenfreundlich Bücher kaufen?!
Beschreibung
Computer scientist, HOL theorem prover family, University of Edinburgh, University of Cambridge Computer Laboratory
Details
| Verlag | OmniScriptum |
| Ersterscheinung | 29. Mai 2026 |
| Maße | 22 cm x 15 cm x 0.4 cm |
| Gewicht | 107 Gramm |
| Format | Softcover |
| ISBN-13 | 9786137450208 |
| Seiten | 60 |