Name: Computer Aided Verification (en Inglés)
Price: 53.39 USD
Availability: InStock
Author: Alexandra Silva;K. Rustan M. Leino
ISBN: 9783030816896

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

Alexandra Silva;K. Rustan M. Leino

Año

2021

Idioma

Inglés

N° páginas

966

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 cm

ISBN13

9783030816896

Computer Aided Verification (en Inglés)

Alexandra Silva;K. Rustan M. Leino (Autor) · Springer Nature B.V. · Tapa Blanda

Libro Nuevo Importado

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

$ 97.07$ 53.39

-45%

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

Libro Nuevo

Quedan 50 unidades

$ 53.39

Llega entre el 03 Sep y el 15 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

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

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.

The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:

Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis.

Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.