Illustrating a route for mathematically specifying and rigorously implementing a high assurance compiler suitable for use in developing high integrity applications, this book explains the various techniques used at each stage of the development.

"About this title" may belong to another edition of this title.

Store Description

Libreria abierta a todo tipo de tendencias y gustos, con precios m�s que asequibles. Salvo contadas excepciones, los libros est�n nuevos o en muy buen estado.

Visit Seller's Storefront

Seller's business information

LIBRERIAOESTE SL
CALLE FUENTESAUCO 26, CASA, MADRID, 28024, Spain

Sale & Shipping Terms

Terms of Sale

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.

Shipping Terms

Los gastos de env�o admitidos son los siguientes:
Para promocioes o periodos de env�o gratuito los libros ser�n enviados por CORREO ORDINARIO bajo la responsabilidad del comprador en caso de perdida, retraso o extrav�o.
Los env�os estandar tienen un coste de 3.99€, ser�n enviados por Correos (Paq Premiun ) bajo el servicio certificado en 24/48 horas (El tiempo de servicio puede variar). Los env�os urgentes o prioritarios tendr� un coste de 5,99€ y ser�n cargados por la empresa Correos.
Para resolver cualquier duda p�ngase en contacto con nuestro servicio de atenci�n al cliente.

Shipping rates from Spain to U.S.A.

Shipping rates from Spain to U.S.A.
Order quantity	25 to 45 business days	8 to 14 business days
First item	US$ 28.45	US$ 55.75

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.