Artículo: AMZ-B0FY6TJTZ6

IDRIS 2 PROGRAMMING FOR DEPENDENT TYPE SYSTEMS: Formal software verification and provably correct computation models

Format:

Kindle

Kindle

Paperback

Detalles del producto
Disponibilidad
Sin stock
Peso con empaque
0.84 kg
Devolución
No
Condición
Nuevo
Producto de
Amazon
Viaja desde
USA

Sobre este producto
  • Learn how Idris 2 enables developers to build mathematically verified software — explore dependent types, proofs, and logic-based computation.

Sin stock

Seleccione otra opción o busque otro producto.

Este producto viaja de USA a tus manos en