Imagen 1 de 1

¿Quieres vender uno?

Véndelo tú mismo

NASA Formal Methods : 9th International Symposi. Barrett, Davies, Kahsai<|

Estado:

Nuevo

Cantidad:

5 disponibles

Precio:

GBP 89,74

Aproximadamente106,08 EUR

Respira tranquilidad. Se aceptan devoluciones.

Envío:

Puede que el vendedor no envíe a Estados Unidos. Para más información sobre las opciones de envío, consulta los detalles en la descripción del artículo o contacta con el vendedor. Ver detallespara el envío

Ubicado en: South East, Reino Unido

Entrega:

Variable

Devoluciones:

30 días para devoluciones. El comprador paga el envío de la devolución. Ver detalles- Más información sobre devoluciones

Pagos:

Compra con confianza

Garantía al cliente de eBay

Si no recibes el artículo que has pedido, te devolvemos el dinero.

Más informaciónGarantía al cliente de eBay - se abre en una nueva ventana o pestaña

Información del vendedor

baham_books (2238961)
99,1% de votos positivos

Registrado como vendedor profesional

Informar sobre este artículo (se abre en una nueva ventana o pestaña)

El vendedor asume toda la responsabilidad de este anuncio.

N.º de artículo de eBay:305376769551

Características del artículo

Estado: Nuevo: Libro nuevo, sin usar y sin leer, que está en perfecto estado; incluye todas las páginas sin ...

PublishedOn: 2017-04-09

Title: NASA Formal Methods : 9th International Symposium, NFM 2017, Mof

ISBN: 9783319572871

Publication Year: 2017

Type: Textbook

Format: Paperback

Language: English

Publication Name: NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Item Height: 235mm

Author: Clark Barrett, Misty Davies, Temesghen Kahsai

Publisher: Springer International Publishing A&G

Item Width: 155mm

Subject: Computer Science

Item Weight: 682g

Number of Pages: 436 Pages

Acerca de este producto

Product Information

This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017. The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.

Product Identifiers

Publisher

Springer International Publishing A&G

ISBN-13

9783319572871

eBay Product ID (ePID)

236774855

Product Key Features

Author

Clark Barrett, Misty Davies, Temesghen Kahsai

Publication Name

NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Format

Paperback

Language

English

Subject

Computer Science

Publication Year

2017

Type

Textbook

Number of Pages

436 Pages

Dimensions

Item Height

235mm

Item Width

155mm

Volume

10227

Item Weight

682g

Additional Product Features

Series Title

Programming and Software Engineering

Country/Region of Manufacture

Switzerland

Editor

Temesghen Kahsai, Misty Davies, Clark Barrett

Descripción del artículo del vendedor

Información de vendedor profesional

WRAP Ltd.

Mubin Ahmed

Unit 4

119 Loverock Road

Reading

Berkshire

RG30 1DZ

United Kingdom

Mostrar información de contacto

:onoféleT60358080080

:ocinórtcele oerroCmoc.aidemtumahab@yabe

Número de IVA:

GB 724498118

Número de inscripción en el Registro Mercantil:

03800600

Certifico que todas mis actividades de venta cumplirán todas las leyes y reglamentos de la UE.

Número CRN:

03800600

El vendedor asume toda la responsabilidad de este anuncio.

N.º de artículo de eBay:305376769551

Envío y manipulación

El vendedor no ha especificado una forma de envío a Estados Unidos. Contacta con el vendedor y solicita el envío a tu ubicación.

Ubicación del artículo:

South East, Reino Unido

Realiza envíos a:

Australia, Canadá, Japón, Reino Unido, Unión Europea

Excluye:

Afganistán, Alemania, Austria, Federación Rusa, Libia, Nauru, Somalia, Suiza, Ucrania, Yemen

Tiempo de manipulación

Normalmente, se enviará en un plazo de 5 días laborables desde que se haga efectivo el pago.

Impuestos

Puede que se apliquen impuestos durante el pago y envío. Más informaciónMás información sobre el pago de impuestos en las compras de eBay.

Impuesto de ventas del artículo 305376769551

El vendedor carga un impuesto de ventas por los artículos enviados a los siguientes estados:

Estado o provincia	Porcentaje de impuesto de ventas

* El impuesto se aplica al subtotal más gastos de envío y manipulación solo en estas comunidades

Política de devoluciones

Cuando recibas el artículo, ponte en contacto con el vendedor en un plazo de	Gastos de envío de la devolución
30 días	El comprador paga el envío de la devolución

Pulsa aquíaquí para obtener más información sobre devoluciones. En las transacciones que cumplan los requisitos necesarios, estarás cubierto por la Garantía al cliente de eBay si recibiste un artículo que es distinto de la descripción que aparece en el anuncio.

El comprador es responsable de los gastos de envío de la devolución.

Detalles de la política de devoluciones
Se aceptan devoluciones

Detalles de pago

Formas de pago

Nota: como resultado de la valoración de riesgo del comprador, es posible que algunas formas de pago no estén disponibles en el proceso de Pago y envío.