Name: satisfiability & verification
SKU: 3494160
Price: 56495.00 CRC
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: 23 a 28 días háb.

₡ 56.495

Costos de importación y 13% IVA incluídos en el precio ✅

Libro Nuevo

Quedan 10 unidades

₡ 56.495

Llega entre el 30 Dic y el 11 Ene a Costa Rica. 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 ...