MASTERING LEAN FOR FORMAL VERIFICATION: Interactive theorem proving proof assistants and verified software development

Precios a partir de
11,55

Destacado

COMPARAR TODAS LAS TIENDAS WEB (2)

Descripción

MASTERING LEAN FOR FORMAL VERIFICATION: Interactive theorem proving proof assistants and verified software development

Description Descripción
Product Specifications Especificaciones del producto
Resultados relacionados Resultados relacionados
Next
Previous

Comparar tiendas web (2)

Shop
Precio
Amazon Logo
11,55 €
Ver oferta
Amazon Marketplace Logo
11,55 €
Ver oferta
Descripción (0)

MASTERING LEAN FOR FORMAL VERIFICATION: Interactive theorem proving proof assistants and verified software development

Especificaciones del producto

Marca Independently Published
EAN
  • 9798194130320

Independently Published

LEAN FOR FORMAL PROGRAM VERIFICATION: Interactive theorem proving proof assistants and mathematically...

12,63 €
Comparar 2 tiendas 2 tiendas

Independently Published

FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development

11,61 €
Comparar 2 tiendas 2 tiendas

Independently Published

Mastering Agile Software Development: Practical Methods for Building High Performing Teams with...

23,21 €
Comparar 2 tiendas 2 tiendas

Wiley lean architecture: for agile software development

42,08 €
Más información Más info
Elección Destacada
11,55 €
Ver oferta