Embedding Sequential Circuits for their Polynomial Formal Verification (BestMasters)

Precios a partir de
88,39

Destacado

COMPARAR TODAS LAS TIENDAS WEB (2)

Descripción

Amazon Páginas: 92, Tapa blanda, Springer-Verlag GmbH
Description Descripción
Product Specifications Especificaciones del producto
Related Products Productos relacionados
?>
Next
Previous

Comparar tiendas web (2)

Shop
Precio
Amazon Logo
88,39 €
Ver oferta
Amazon Marketplace Logo
88,39 €
Ver oferta
Descripción (1)

Páginas: 92, Tapa blanda, Springer-Verlag GmbH

Especificaciones del producto

Marca Springer
EAN
  • 9783658501549

Precios actualizados por última vez el:

Morgan Kaufmann

Formal Verification: An Essential Toolkit for Modern VLSI Design

93,28 €
Comparar 2 tiendas 2 tiendas

CREATESPACE

The Prophet from Silicon Valley: Complete Story of Sequential Circuits

38,89 €
Comparar 2 tiendas 2 tiendas

Majosta

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

35,79 €
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
88,39 €
Ver oferta