Photo 1/1

Vous en avez un à vendre ?

Vendez le vôtre

Méthodes formelles NASA : 9ème symposium international. Barrett, Davies, Kahsai<|-

État :

Neuf

Quantité :

5 disponibles

Prix :

89,74 GBP

Environ106,08 EUR

Pas d'inquiétude ! Retours acceptés.

Livraison :

Livraison peut-être pas offerte vers : États-Unis. Consultez la description de l'objet ou contactez le vendeur pour en savoir plus sur les options de livraison. Afficher les détailspour la livraison

Lieu où se trouve l'objet : South East, Royaume-Uni

Délai de livraison :

Varie

Retours :

Retour sous 30 jours. L'acheteur paie les frais de retour. Afficher les détails- pour en savoir plus sur les retours

Paiements :

Achetez en toute confiance

Garantie client eBay

Obtenez un remboursement si vous ne recevez pas l'objet que vous avez commandé.

En savoir plusGarantie client eBay - la page s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Détails sur le vendeur

baham_books (2239331)
99,1 % d'évaluations positives

Inscrit comme vendeur professionnel

Signaler cet objet - La page s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Le vendeur assume l'entière responsabilité de cette annonce.

Numéro de l'objet eBay :305376769551

Caractéristiques de l'objet

État: Neuf: Livre neuf, n'ayant jamais été lu ni utilisé, en parfait état, sans pages manquantes ni ...

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

À propos de ce produit

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

Description de l'objet fournie par le vendeur

Informations sur le vendeur professionnel

WRAP Ltd.

Mubin Ahmed

Unit 4

119 Loverock Road

Reading

Berkshire

RG30 1DZ

United Kingdom

Afficher les coordonnées

: enohpéléT60358080080

: liam-e esserdAmoc.aidemtumahab@yabe

Numéro de TVA :

GB 724498118

Numéro d'immatriculation de la société :

03800600

Je certifie que toutes mes activités de vente seront conformes à toutes les lois et réglementations de l'UE.

Numéro CRN :

03800600

Le vendeur assume l'entière responsabilité de cette annonce.

Numéro de l'objet eBay :305376769551

Livraison et expédition

Le vendeur n'a indiqué aucun mode de livraison vers le pays suivant : États-Unis. Contactez le vendeur pour lui demander d'envoyer l'objet à l'endroit où vous vous trouvez.

Lieu où se trouve l'objet :

South East, Royaume-Uni

Destination :

Australie, Canada, Japon, Royaume-Uni, Union européenne

Exclus :

Afghanistan, Allemagne, Autriche, Libye, Nauru, Russie, Somalie, Suisse, Ukraine, Yémen

Délai d'expédition

Envoi sous 5 jours ouvrés après réception du paiement.

Taxes

Des taxes pourront être appliquées lors de la finalisation de l'achat. En savoir plusEn savoir plus sur le paiement des taxes sur les achats eBay

Taxe de vente pour l'objet n°305376769551

Le vendeur facture une taxe de vente pour les États suivants :

État	Taux de la taxe de vente

* La taxe s'applique au sous-total + frais de livraison et d'expédition pour ces États uniquement

Conditions de retour

Une fois l'objet reçu, contactez le vendeur dans un délai de	Frais de retour
30 jours	L'acheteur paie les frais de retour

Cliquez iciici pour en savoir plus sur les retours. Pour les transactions répondant aux conditions requises, vous êtes couvert par la Garantie client eBay si l'objet que vous avez reçu ne correspond pas à la description fournie dans l'annonce.

L'acheteur doit payer les frais de retour.

Détails des conditions de retour
Retours acceptés

Détails du paiement

Modes de paiement

Remarque : il se peut que certains modes de paiement ne soient pas disponibles lors de la finalisation de l'achat en raison de l'évaluation des risques associés à l'acheteur.