Imagen 1 de 1
![NASA Formal Methods - 9783642380877 - Imagen 1 de 1](https://i.ebayimg.com/images/g/cUMAAOSwGYZmcnf5/s-l500.jpg)
NASA Formal Methods - 9783642380877
Estado:
Envío:
GBP 22,40 (aprox. 26,48 EUR) Envío urgente a Estados Unidos mediante Programa de envíos globales de eBay. Ver detallespara el envío
Ubicado en: Aldershot, Reino Unido
Tarifas de importación:
Gratis (importe confirmado durante el pago y envío)
Entrega:
Entrega prevista entre el jue. 4 jul. y el jue. 11 jul. a 43230
Incluye seguimiento internacional
Devoluciones:
60 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
Información del vendedor
- 99,2% de votos positivos
Registrado como vendedor profesional
El vendedor asume toda la responsabilidad de este anuncio.
N.º de artículo de eBay:285345473445
Última actualización el 19 jun 2024 08:13:53 H.EspVer todas las actualizacionesVer todas las actualizaciones
Características del artículo
- Estado
- Book Title
- NASA Formal Methods
- ISBN
- 9783642380877
- Publication Year
- 2013
- Type
- Textbook
- Format
- Paperback
- Language
- English
- Publication Name
- NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
- Item Height
- 235mm
- Publisher
- Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
- Item Width
- 155mm
- Subject
- Computer Science
- Item Weight
- 777g
- Number of Pages
- 486 Pages
Acerca de este producto
Product Information
This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and statistical analysis; and theorem proving.
Product Identifiers
Publisher
Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
ISBN-13
9783642380877
eBay Product ID (ePID)
152646054
Product Key Features
Publication Name
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
2013
Type
Textbook
Number of Pages
486 Pages
Dimensions
Item Height
235mm
Item Width
155mm
Volume
7871
Item Weight
777g
Additional Product Features
Series Title
Lecture Notes in Computer Science
Editor
Neha Rungta, Arnaud Venet, Guillaume Brat
Country/Region of Manufacture
Germany
Descripción del artículo del vendedor
Información de vendedor profesional
BOOKS ETC LIMITED
Andy Smith
Books Etc, Unit 4
Eastern Road
Aldershot
Hampshire
GU12 4YD
United Kingdom
Número de IVA:
- GB 976952259
Número de inscripción en el Registro Mercantil:
- 06687355
Remito facturas con el IVA desglosado aparte.
Certifico que todas mis actividades de venta cumplirán todas las leyes y reglamentos de la UE.
Número CRN:
- 06687355
El vendedor asume toda la responsabilidad de este anuncio.
N.º de artículo de eBay:285345473445
Última actualización el 19 jun 2024 08:13:53 H.EspVer todas las actualizacionesVer todas las actualizaciones
Envío y manipulación
Ubicación del artículo:
Aldershot, Reino Unido
Realiza envíos a:
Alemania, Antigua y Barbuda, Arabia Saudí, Aruba, Australia, Austria, Bahamas, Bahréin, Bangladés, Barbados, Belice, Bermudas, Bolivia, Brasil, Brunéi, Bulgaria, Bélgica, Camboya, Canadá, Chile, China, Chipre, Colombia, Corea del Sur, Costa Rica, Dinamarca, Dominica, Ecuador, Egipto, El Salvador, Emiratos Árabes Unidos, Eslovaquia, Eslovenia, España, Estados Unidos, Estonia, Filipinas, Finlandia, Francia, Gibraltar, Granada, Grecia, Guadalupe, Guatemala, Guayana Francesa, Guernsey, Honduras, Hong Kong, Hungría, Indonesia, Irlanda, Islandia, Islas Caimán, Islas Turcas y Caicos, Israel, Italia, Jamaica, Japón, Jersey, Jordania, Kuwait, Letonia, Liechtenstein, Lituania, Luxemburgo, Macao, Malasia, Maldivas, Malta, Martinica, Montserrat, México, Mónaco, Nicaragua, Noruega, Nueva Zelanda, Omán, Pakistán, Panamá, Paraguay, Países Bajos, Perú, Polonia, Portugal, Qatar, Reino Unido, República Checa, República Dominicana, República de Croacia, Reunión, Rumanía, San Cristóbal y Nieves, Santa Lucía, Singapur, Sri Lanka, Sudáfrica, Suecia, Suiza, Tailandia, Taiwán, Trinidad y Tobago, Ucrania, Uruguay, Vietnam
Excluye:
Afganistán, Federación Rusa, Libia, Nauru, Somalia, Yemen
Envío y manipulación | Tarifas de importación | A | Servicio | Entrega*Consulta las notas de entrega |
---|---|---|---|---|
GBP 22,40 (aprox. 26,48 EUR) | Consulta las tarifas de importación durante el proceso de pago y envío | Estados Unidos | Envío urgente (International Priority Shipping) | Entrega prevista entre el jue. 4 jul. y el jue. 11 jul. a 43230 |
Tiempo de manipulación |
---|
Normalmente, se enviará en un plazo de 3 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 285345473445
Impuesto de ventas del artículo 285345473445
El vendedor carga un impuesto de ventas por los artículos enviados a los siguientes estados:
Estado o provincia | Porcentaje de impuesto de ventas |
---|
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 |
---|---|
60 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.
Registrado como vendedor profesional
Votos de vendedor (514.905)
m***s (812)- Votos emitidos por el comprador.
Mes pasado
Compra verificada
Great!
h***a (3240)- Votos emitidos por el comprador.
Mes pasado
Compra verificada
*****
e***t (19)- Votos emitidos por el comprador.
Mes pasado
Compra verificada
Excelente servicio, la entrega mucho más rápido de lo esperado.