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

Precios a partir de
12,63

Destacado

COMPARAR TODAS LAS TIENDAS WEB (2)

Descripción

LEAN FOR FORMAL PROGRAM VERIFICATION: Interactive theorem proving proof assistants and mathematically 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
12,63 €
Ver oferta
Amazon Marketplace Logo
12,63 €
Ver oferta
Descripción (0)

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

Especificaciones del producto

Marca Independently Published
EAN
  • 9798188923969

Independently Published

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

11,55 €
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

Wiley lean architecture: for agile software development

42,08 €
Más información Más info

Lulu Press

Scrumban essays on kanban systems for lean software development.

20,82 €
Más información Más info
Elección Destacada
12,63 €
Ver oferta