Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Idioma: inglés

Editorial: Palgrave Macmillan, 2018

3319961411 / 9783319961415

  • Tapa blanda
  • Nuevo
Ver todos los detalles

Librería: Home-set, Mannheim, AlemaniaHome-set

Vendedor de 5 estrellas

Vendedor de IberLibro desde 13 de abril de 2026

Tapa blanda

Condición: Nuevo

EUR 66,86

Envío por EUR 49,90 
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 2 disponibles

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications. Sprache: Englisch Gewicht in Gramm: 850.

Título
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Editorial
Palgrave Macmillan
Año de publicación
2018
Estado
Neu
Encuadernación
Softcover/Taschenbuch
Idioma
inglés
ISBN 10
3319961411
ISBN 13
9783319961415
Peso del artículo
850 gramos

Home-set

Mannheim, Alemania

Vendedor de 5 estrellas

Vendedor de IberLibro desde 13 de abril de 2026

Tarifas de envío de Alemania a Estados Unidos de America

ArtículoDe 10 a 12 días hábilesDe 8 a 10 días hábiles
Primer artículoEUR 49,90EUR 75,00
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Cheque

Especialidad

Buch

Información empresarial del vendedor

Home-set

Alemania