Mastering Alloy Modeling: Practical Techniques for Formal Specification, Analysis, and Verification

Precios a partir de
35,79

Destacado

COMPARAR TODAS LAS TIENDAS WEB (2)

Descripción

Amazon Páginas: 349, 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
35,79 €
Ver oferta
Amazon Marketplace Logo
35,79 €
Ver oferta
Descripción (1)

Páginas: 349, Tapa blanda, Independently published

Especificaciones del producto

Marca Majosta
EAN
  • 9798264895685

Precios actualizados por última vez el:

Springer

Versatile Hardware Analysis Techniques: From Waveform based to Formal Verification

145,59 €
Comparar 2 tiendas 2 tiendas

HiTeX Press

Mastering Agda: A Practical Guide to Dependently Typed Programming and Formal Verification

37,10 €
Comparar 2 tiendas 2 tiendas

Independently Published

CIRCUITON Digital System MODELING: Hardware Abstraction Techniques for Simulation Verification and Synthesis...

12,54 €
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
Elección Destacada
35,79 €
Ver oferta