Name: Model Checking Software: 25th International Symposium, Spin 2018, Malaga, Spain, June 20-22, 2018, Proceedings (en Inglés)
SKU: 58629130
Price: 841.79 MXN
Availability: InStock
Author: Gallardo, María del Mar ; Merino, Pedro
ISBN: 9783319941103

portada Model Checking Software: 25th International Symposium, Spin 2018, Malaga, Spain, June 20-22, 2018, Proceedings (en Inglés)

Model Checking Software: 25th International Symposium, Spin 2018, Malaga, Spain, June 20-22, 2018, Proceedings (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Gallardo, María del Mar ; Merino, Pedro

Idioma

Inglés

N° páginas

347

Encuadernación

Tapa Blanda

Dimensiones

23.4x15.6x1.9 cm

Peso

0.51 kg.

ISBN13

9783319941103

Categorías

Algoritmos y estructuras de datos
Lenguajes de programación y extensión/scripting: general

Model Checking Software: 25th International Symposium, Spin 2018, Malaga, Spain, June 20-22, 2018, Proceedings (en Inglés)

Gallardo, María Del Mar ; Merino, Pedro (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 13 a 18 días háb.

$ 1,870.65$ 841.79

-55%

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

Libro Nuevo

Quedan más de 100 unidades

$ 841.79

¡Envío Gratis! Llega entre el 23 Sep y el 01 Oct a CUAUHTÉMOC, Ciudad de México. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Model Checking Software: 25th International Symposium, Spin 2018, Malaga, Spain, June 20-22, 2018, Proceedings (en Inglés)"

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.