Compartir
Finding Your way Through Formal Verification (en Inglés)
Bernard Murphy; Manish Pandey; Sean Safarpour (Autor)
·
Createspace
· Tapa Blanda
Finding Your way Through Formal Verification (en Inglés) - Bernard Murphy; Manish Pandey; Sean Safarpour
$ 36.580
$ 60.970
Ahorras: $ 24.390
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis Listas
Origen: Estados Unidos
(Costos de importación incluídos en el precio)
Se enviará desde nuestra bodega entre el
Martes 28 de Mayo y el
Viernes 07 de Junio.
Lo recibirás en cualquier lugar de Chile entre 1 y 3 días hábiles luego del envío.
Reseña del libro "Finding Your way Through Formal Verification (en Inglés)"
There are already many books on formal verification, from academic to application-centric, and from tutorials for beginners to guides for advanced users. Many are excellent for their intended purpose; we recommend a few at the end of this book. But most start from the assumption that you have already committed to becoming a hands-on expert (or in some cases that you already are an expert). We feel that detailed tutorials are not the easiest place to extract the introductory view many of us are looking for – background, a general idea of how methods work, applications and how formal verification is managed in the overall verification objective. Since we’re writing for a fairly wide audience, we cover some topics that some of you may consider elementary (why verification is hard), some we hope will be of general interest (elementary understanding of the technology) and others that may not immediately interest some readers (setting up a formal verification team). What we intentionally do not cover at all is how to become a hands-on expert.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
La encuadernación de esta edición es Tapa Blanda.
✓ Producto agregado correctamente al carro, Ir a Pagar.
