Formal Analysis of Future Energy Systems Using Interactive Theorem Proving - SpringerBriefs in Applied Sciences and Technology - Asad Q Ahmed - Libros - Springer Nature Switzerland AG - 9783030784089 - 15 de agosto de 2021
En caso de que portada y título no coincidan, el título será el correcto

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving - SpringerBriefs in Applied Sciences and Technology 1st ed. 2022 edition

Precio
Mex$ 1.236
sin IVA

Pedido desde almacén remoto

Entrega prevista 1 - 13 de jul.
Añadir a tu lista de deseos de iMusic

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  

Mere med samme udgiver