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

Precios a partir de
12,63

Enlaces patrocinados

COMPARAR TODAS LAS TIENDAS WEB (1)

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 (1)

Enlaces patrocinados · Algunas tiendas nos pagan una remuneración

Ordenar por:

12,63 €

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 €
Más información Más info

Independently Published

FORMAL METHODS FOR Software ENGINEERING: Mathematical Modeling Specification Languages Program Verification and Reliable Systems

12,46 €
Más información Más info

Independently Published

Dafny for Reliable Software: Practical Specification, Proof, and Program Design

37,12 €
Más información Más info

Lulu Press

Scrumban essays on kanban systems for lean software development.

21,36 €
Más información Más info
Elección Destacada
12,63 €
Ver oferta