Afbeelding 1 van 1
NASA Formal Methods : 9th International Symposi. Barrett, Davies, Kahsai<|
Objectstaat:
5 beschikbaar
Verzendkosten:
Verzendt mogelijk niet naar Verenigde Staten. Lees de objectbeschrijving of neem contact op met de verkoper voor verzendopties. Details bekijkenvoor verzending
Bevindt zich in: South East, Verenigd Koninkrijk
Levering:
Varieert
Retourbeleid:
30 dagen om te retourneren. Koper betaalt voor retourzending. Details bekijken- voor meer informatie over retourzendingen
Betalingen:
Winkel met vertrouwen
Verkopergegevens
- 99,1% positive feedback
Ingeschreven als zakelijke verkoper
De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
eBay-objectnummer:305376769551
Specificaties
- Objectstaat
- 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
Over dit product
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
Objectbeschrijving van de verkoper
Informatie van zakelijke verkoper
WRAP Ltd.
Mubin Ahmed
Unit 4
119 Loverock Road
Reading
Berkshire
RG30 1DZ
United Kingdom
Btw-nummer:
- GB 724498118
Handelsregistratienummer:
- 03800600
Ik verklaar dat al mijn verkoopactiviteiten zullen voldoen aan alle wet- en regelgeving van de EU.
De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
eBay-objectnummer:305376769551
Verzending en verwerking
De verkoper heeft geen verzendmethode opgegeven voor Verenigde Staten. Neem contact op met de verkoper en vraag om verzending naar uw locatie.
Objectlocatie:
South East, Verenigd Koninkrijk
Wordt verzonden naar:
Australië, Canada, Europese Unie, Japan, Verenigd Koninkrijk
Uitgesloten:
Afghanistan, Duitsland, Jemen, Libië, Nauru, Oekraïne, Oostenrijk, Russische Federatie, Somalië, Zwitserland
| Verwerkingstijd |
|---|
| Wordt doorgaans binnen 5 werkdagen na ontvangst van betaling verzonden. |
| Belasting |
|---|
| Er kunnen belastingen van toepassing zijn tijdens Betalen. Meer weten?Lees meer over het betalen van belastingen op eBay-aankopen. |
Btw voor objectnr.305376769551
Btw voor objectnr.305376769551
Verkoper berekent btw op objecten die naar de volgende staten worden verzonden:
| Staat/provincie | Btw-tarief |
|---|
Retourbeleid
| Nadat u het object hebt ontvangen, kunt u contact opnemen met de verkoper binnen | Kosten voor retourzending |
|---|---|
| 30 dagen | Koper betaalt voor retourzending |
De koper is verantwoordelijk voor de kosten van de retourzending.
| Details retourbeleid |
|---|
| Retourzendingen geaccepteerd |
Betalingsgegevens
Betalingsmethoden
Populaire rubrieken in deze winkel
Ingeschreven als zakelijke verkoper
Feedback verkoper (2.862.107)
n***s (146)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
Fine, as advertised
2***0 (2469)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
A+ SELLER
h***c (219)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
The front cover was very shiny, as was the rear.