Afbeelding 1 van 1
NASA Formal Methods - 9783642380877
Objectstaat:
2 beschikbaar
Verzendkosten:
GBP 22,40 (ongeveer EUR 26,31) Expresverzending naar Verenigde Staten via eBay's Internationale verzending. Details bekijkenvoor verzending
Bevindt zich in: Aldershot, Verenigd Koninkrijk
Invoerkosten:
Gratis (bedrag wordt bevestigd bij Betalen)
Levering:
Geschatte levering tussen do, 6 jun en do, 13 jun tot 43230
Inclusief internationale tracking
Retourbeleid:
60 dagen om te retourneren. Koper betaalt voor retourzending. Details bekijken- voor meer informatie over retourzendingen
Betalingen:
Winkel met vertrouwen
Verkopergegevens
- 99,2% positive feedback
Ingeschreven als zakelijke verkoper
De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
eBay-objectnummer:285345473445
Specificaties
- Objectstaat
- 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
Over dit product
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
Objectbeschrijving van de verkoper
Informatie van zakelijke verkoper
BOOKS ETC LIMITED
Andy Smith
Books Etc, Unit 4
Eastern Road
Aldershot
Hampshire
GU12 4YD
United Kingdom
Btw-nummer:
- GB 976952259
Handelsregistratienummer:
- 06687355
Ik verstrek facturen waarop ik de btw afzonderlijk vermeld.
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:285345473445
Verzending en verwerking
Objectlocatie:
Aldershot, Verenigd Koninkrijk
Wordt verzonden naar:
Antigua en Barbuda, Aruba, Australië, Bahama's, Bahrein, Bangladesh, Barbados, België, Belize, Bermuda, Bolivia, Brazilië, Brunei Darussalam, Bulgarije, Cambodja, Canada, Chili, China, Colombia, Costa Rica, Cyprus, Denemarken, Dominica, Dominicaanse Republiek, Duitsland, Ecuador, Egypte, El Salvador, Estland, Filipijnen, Finland, Frankrijk, Frans-Guyana, Gibraltar, Grenada, Griekenland, Guadeloupe, Guatemala, Guernsey, Honduras, Hongarije, Hongkong, IJsland, Ierland, Indonesië, Israël, Italië, Jamaica, Japan, Jersey, Jordanië, Kaaimaneilanden, Koeweit, Kroatië, Letland, Liechtenstein, Litouwen, Luxemburg, Macau, Maldiven, Maleisië, Malta, Martinique, Mexico, Monaco, Montserrat, Nederland, Nicaragua, Nieuw-Zeeland, Noorwegen, Oekraïne, Oman, Oostenrijk, Pakistan, Panama, Paraguay, Peru, Polen, Portugal, Qatar, Roemenië, Réunion, Saint Kitts en Nevis, Saint Lucia, Saudi-Arabië, Singapore, Slovenië, Slowakije, Spanje, Sri Lanka, Taiwan, Thailand, Trinidad en Tobago, Tsjechië, Turks- en Caicoseilanden, Uruguay, Verenigd Koninkrijk, Verenigde Arabische Emiraten, Verenigde Staten, Vietnam, Zuid-Afrika, Zuid-Korea, Zweden, Zwitserland
Uitgesloten:
Afghanistan, Jemen, Libië, Nauru, Russische Federatie, Somalië
| Verzending en verwerking | Invoerkosten | Tot | Service | Levering*Zie opmerkingen over levering |
|---|---|---|---|---|
| GBP 22,40 (ongeveer EUR 26,31) | Zie de importkosten bij Betalen | Verenigde Staten | Expresverzending (International Priority Shipping) | Geschatte levering tussen do, 6 jun en do, 13 jun tot 43230 |
| Verwerkingstijd |
|---|
| Wordt doorgaans binnen 3 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.285345473445
Btw voor objectnr.285345473445
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 |
|---|---|
| 60 dagen | Koper betaalt voor retourzending |
De koper is verantwoordelijk voor de kosten van de retourzending.
| Details retourbeleid |
|---|
| Retourzendingen geaccepteerd |
Betalingsgegevens
Betalingsmethoden
Ingeschreven als zakelijke verkoper
Feedback verkoper (509.887)
i***r (703)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
A+ Ebayer. Pleasure to do business with.
l***r (92)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
as described and well packaged
l***r (92)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
as described & well packaged