Name: Computer Aided Verification (en Inglés)
SKU: 63503997
Price: 49.20 USD
Availability: InStock
Author: Armin Biere;Roderick Bloem

Selecciona tu país

América

Europa

Resto del mundo

portada Computer Aided Verification (en Inglés)

Formato

Libro Físico

Editorial

Springer Nature B.V.

Autor

Armin Biere;Roderick Bloem

Año

2014

Idioma

Inglés

N° páginas

912

Encuadernación

Tapa Blanda

Dimensiones

23.4x15.6 cm

ISBN13

9783319088686

Computer Aided Verification (en Inglés)

Armin Biere;Roderick Bloem (Autor) · Springer Nature B.V. · Tapa Blanda

Libro Nuevo Importado

Envío: 16 a 22 días háb.

$ 98.39$ 49.20

-50%

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

Libro Nuevo

Quedan 50 unidades

$ 49.20

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

Agregar a lista de deseos

Reseña del libro "Computer Aided Verification (en Inglés)"

This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination; and abstraction.