11,55 €
MASTERING LEAN FOR FORMAL VERIFICATION: Interactive theorem proving proof assistants and verified software development
Precios a partir de
11,55
Enlaces patrocinados
|
|
11,55 € |
Ver oferta
|
| COMPARAR TODAS LAS TIENDAS WEB (1) | ||
Descripción
MASTERING LEAN FOR FORMAL VERIFICATION: Interactive theorem proving proof assistants and verified software development
Comparar tiendas web (1)
Enlaces patrocinados · Algunas tiendas nos pagan una remuneración
Ordenar por:
Tiendas con otras tallas
Descripción
(0)
MASTERING LEAN FOR FORMAL VERIFICATION: Interactive theorem proving proof assistants and verified software development
Especificaciones del producto
Resultados relacionados
Elección Destacada
11,55 €
