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

Precios a partir de
11,61

Destacado

COMPARAR TODAS LAS TIENDAS WEB (1)

Descripción

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

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

Comparar tiendas web (1)

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

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

Especificaciones del producto

Marca Independently Published
EAN
  • 9798243353243

John Wiley & Sons

Model driven software development

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

Information Science Reference

Model driven software development

232,16 €
Más información Más info

Information Science Reference

Model driven domain analysis and software development

215,30 €
Más información Más info

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
Elección Destacada
11,61 €
Ver oferta