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

Precios a partir de
11,42

Destacado

COMPARAR TODAS LAS TIENDAS WEB (1)

Descripción

Amazon Páginas: 164, Tapa blanda, Independently published
Description Descripción
Product Specifications Especificaciones del producto
Resultados relacionados Resultados relacionados
Next
Previous

Comparar tiendas web (1)

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

Páginas: 164, Tapa blanda, Independently published

Especificaciones del producto

Marca Independently Published
EAN
  • 9798270868505

Independently Published

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

11,61 €
Más información Más info

Independently Published

ATS programming FOR HIGH safety APPLICATIONS: Combining functional and imperative with type

11,53 €
Más información Más info

Independently Published

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

11,62 €
Más información Más info

CRC Press

Embedded Software Development for Safety Critical Systems

64,89 €
Más información Más info
Elección Destacada
11,42 €
Ver oferta