Recomienda este artículo a tus amigos:
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving - SpringerBriefs in Applied Sciences and Technology Asad Q Ahmed 1st ed. 2022 edition
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving - SpringerBriefs in Applied Sciences and Technology
Asad Q Ahmed
79 pages, 7 Illustrations, color; 11 Illustrations, black and white; XI, 79 p. 18 illus., 7 illus. i
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 15 de agosto de 2021 |
| ISBN13 | 9783030784089 |
| Editores | Springer Nature Switzerland AG |
| Páginas | 79 |
| Dimensiones | 150 × 220 × 10 mm · 157 g |
| Lengua | Alemán |