LEAN PROGRAMMING for FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks verified computation

Precios a partir de
11,62

Destacado

COMPARAR TODAS LAS TIENDAS WEB (2)

Descripción

Amazon Páginas: 149, Tapa blanda, Independently published
Description Descripción
Product Specifications Especificaciones del producto
Related Products Productos relacionados
?>
Next
Previous

Comparar tiendas web (2)

Shop
Precio
Amazon Logo
11,62 €
Ver oferta
Amazon Marketplace Logo
11,62 €
Ver oferta
Descripción (1)

Páginas: 149, Tapa blanda, Independently published

Especificaciones del producto

Marca Independently Published
EAN
  • 9798271573743

Precios actualizados por última vez el:

Independently Published

IDRIS 2 PROGRAMMING FOR DEPENDENT TYPE SYSTEMS: Formal software verification and provably...

11,52 €
Comparar 2 tiendas 2 tiendas

Independently Published

ATS programming FOR VERIFIED SOFTWARE DEVELOPMENT: Mathematically proven correctness and type safety in systems

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

HIGH PERFORMANCE DART PROGRAMMING: Parallel Algorithms for Mathematical Computation and Statistical Analysis

11,42 €
Comparar 2 tiendas 2 tiendas
Elección Destacada
11,62 €
Ver oferta