Name: Model Checking Software: 25th International Symposium, Spin 2018, Malaga, Spain, June 20-22, 2018, Proceedings (en Inglés)
SKU: 58629130
Price: 158.71 PEN
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

Más barato Libro Nuevo Importado

Envío: 14 a 19 días háb.

S/ 396,77S/ 158,71

-60%

Más rápido Libro Nuevo Importado

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

S/ 571,94S/ 257,37

-55%

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

Libro Nuevo Más barato

Quedan más de 100 unidades

S/ 158,71

Llega entre el 01 Dic y el 11 Dic a CERCADO DE LIMA, Lima. 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.