Name: satisfiability & verification
Price: 109.88 USD
Availability: InStock
Author: marc herbstritt
ISBN: 9783838101026

Selecciona tu país

América

Europa

Resto del mundo

Formato

Libro Físico

Editorial

sudwestdeutscher verlag fur hochsch

Autor

marc herbstritt

N° páginas

236

ISBN

3838101022

ISBN13

9783838101026

Categorías

Tecnología de la información: cuestiones generales

satisfiability & verification

Marc Herbstritt (Autor) · sudwestdeutscher verlag fur hochsch · Libro Físico

Libro Nuevo Importado

Envío: 25 a 32 días háb.

$ 199.78$ 109.88

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 10 unidades

$ 109.88

Llega entre el 16 Sep y el 29 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "satisfiability & verification"

the verification of systems to guarantee their correct behavior is discussed in this book. the mainly applied algorithmic method is the model checking technique combined with algorithms for solving the satisfiability problem (short: sat). sat-based ve ...