Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

N� de ref. del art�culo wbs4366913796

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, . (Lecture Notes in Computer Science, 10747)

Editor

Springer

Fecha de publicaci�n

2018

Idioma

Ingl�s

ISBN 10

3319737201

ISBN 13

9783319737201

Encuadernaci�n

Encuadernaci�n de tapa blanda

Estado

Very Good

Cat�logos de vendedores

Acerca de

Sinopsis

The 24 full papers presented together with the abstracts of 3 invited keynotes and 1 invited tutorial were carefully reviewed and selected from 43 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.

Rese�a del editor

This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, held in Los Angeles, CA, USA, in January 2018.The 24 full papers presented together with the abstracts of 3 invited keynotes and 1 invited tutorial were carefully reviewed and selected from 43 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Revival Books Ltd
Unit 11 Hugh Business Park, Bacup Road, Waterfoot, Rossendale, BB4 7BT, United Kingdom

Condiciones de venta y env�o

Condiciones de venta

WeBuyBooks
Hall Carr Mill
Fallbarn Road
Rawtenstall
Lancashire BB4 7NX

Email: Sales@webuybooks.co.uk
Tel: 01706 227207

Company Reg. No. 07693718
VAT Number 901 5786 27

Authorised Representatives: Michael Lane and Damian Carr

Derecho a cancelaci�n

Condiciones de env�o

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Tarifas de env�o de Reino Unido a Espa�a

Tarifas de env�o de Reino Unido a Espa�a
Cantidad del pedido	De 5 a 15 d�as h�biles	De 5 a 15 d�as h�biles
Primer art�culo	EUR 9.43	EUR 9.43

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.