Foto 1 di 1
![NASA Formal Methods : 9th International Symposi. Barrett, Davies, Kahsai<| - Foto 1 di 1](https://i.ebayimg.com/images/g/uY0AAOSwB41luLhF/s-l500.jpg)
NASA Formal Methods : 9th International Symposi. Barrett, Davies, Kahsai<|
Condizione:
5 disponibili
Spedizione:
Potrebbe non spedire verso: Stati Uniti. Per le opzioni di spedizione leggi la descrizione dell'oggetto oppure contatta il venditore. Vedi i dettagliper la spedizione
Oggetto che si trova a: South East, Regno Unito
Consegna:
Varia
Restituzioni:
Restituzioni entro 30 giorni. L'acquirente paga le spese di spedizione per la restituzione dell'oggetto. Vedi i dettagli- per maggiori informazioni sulle restituzioni
Pagamenti:
Fai shopping in tutta sicurezza
Informazioni sul venditore
- 99,1% di Feedback positivi
Registrato come venditore professionale
Il venditore si assume la piena responsabilità della messa in vendita dell'oggetto.
Numero oggetto eBay:305376769551
Specifiche dell'oggetto
- Condizione
- 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
- Publisher
- Springer International Publishing A&G
- Item Width
- 155mm
- Subject
- Computer Science
- Item Weight
- 682g
- Number of Pages
- 436 Pages
Informazioni su questo prodotto
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
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
Descrizione dell'oggetto fatta dal venditore
Informazioni sul venditore professionale
WRAP Ltd.
Mubin Ahmed
Unit 4
119 Loverock Road
Reading
Berkshire
RG30 1DZ
United Kingdom
Numero Partita IVA:
- GB 724498118
Numero registro delle imprese:
- 03800600
Certifico che tutte le mie attività di vendita saranno conformi alle leggi e ai regolamenti dell'Unione Europea.
Numero di registrazione dell'impresa:
- 03800600
Il venditore si assume la piena responsabilità della messa in vendita dell'oggetto.
Numero oggetto eBay:305376769551
Spedizione e imballaggio
Il venditore non ha specificato un metodo di spedizione nei seguenti Paesi: Stati Uniti. Contatta il venditore e richiedi la spedizione per il tuo indirizzo.
Luogo in cui si trova l'oggetto:
South East, Regno Unito
Destinazione:
Australia, Canada, Giappone, Regno Unito, Unione Europea
Paesi in cui non si effettua la spedizione:
Afghanistan, Austria, Federazione Russa, Germania, Libia, Nauru, Somalia, Svizzera, Ucraina, Yemen
Tempi di imballaggio |
---|
La spedizione di solito viene effettuata entro 5 giorni lavorativi dalla ricezione del pagamento. |
Imposte |
---|
Potrebbero essere applicate tasse al momento del pagamento. Ulteriori informazioniUlteriori informazioni sul pagamento delle imposte sugli acquisti eBay. |
Imposte sulle vendite per oggetto num. 305376769551
Imposte sulle vendite per oggetto num. 305376769551
Il venditore riscuote l'imposta sulle vendite per gli oggetti spediti ai seguenti Stati:
Stato | Aliquota dell'imposta sulla vendita |
---|
Regole sulle restituzioni
Dopo aver ricevuto l'oggetto, contatta il venditore entro | Spese di restituzione |
---|---|
30 giorni | L'acquirente paga le spese di spedizione per la restituzione dell'oggetto |
Clicca quiqui per ulteriori dettagli sulle Restituzioni. Per le transazioni idonee, sei coperto dal programma Garanzia cliente eBay se ricevi un oggetto non conforme alla descrizione.
Le spese di spedizione per la restituzione sono a carico dell'acquirente.
Informazioni sulla restituzione |
---|
Restituzioni accettate |
Dettagli di pagamento
Metodi di pagamento
Nota: nella procedura di pagamento potrebbero non essere disponibili alcuni metodi di pagamento a causa della valutazione del rischio dell'acquirente.
Categorie più popolari di questo Negozio
Registrato come venditore professionale
Feedback del venditore (2.904.304)
8***e (1067)- Feedback lasciato dall'acquirente.
Mese scorso
Acquisto verificato
Pleased, thank you
e***n (1012)- Feedback lasciato dall'acquirente.
Mese scorso
Acquisto verificato
Essential reading for Leonard Cohen fans.
j***e (213)- Feedback lasciato dall'acquirente.
Mese scorso
Acquisto verificato
Pleased with purchase,only small disappointment book not in quite the condition I thought it may have been. Book perfectly intact no dog eared pages etc. but pages slightly discoloured.