Afbeelding 1 van 1
NASA Formal Methods : 7th International Symposi. Havelund, Holzmann, Joshi<|
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:296174265248
Specificaties
- Objectstaat
- PublishedOn
- 2015-04-09
- Title
- NASA Formal Methods : 7th International Symposium, NFM 2015, Pas
- ISBN
- 9783319175232
- Publication Year
- 2015
- Type
- Textbook
- Format
- Paperback
- Language
- English
- Publication Name
- NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
- Item Height
- 235mm
- Publisher
- Springer International Publishing A&G
- Item Width
- 155mm
- Subject
- Computer Science
- Item Weight
- 718g
- Number of Pages
- 458 Pages
Over dit product
Product Information
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015. The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis; runtime verification; systematic testing; program refinement; compositional verification; security and intrusion detection; modeling and specification formalisms; model-based development; model-based testing; requirement engineering; formal approaches to fault tolerance; and applications of formal methods.
Product Identifiers
Publisher
Springer International Publishing A&G
ISBN-13
9783319175232
eBay Product ID (ePID)
213004434
Product Key Features
Publication Name
NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
2015
Type
Textbook
Number of Pages
458 Pages
Dimensions
Item Height
235mm
Item Width
155mm
Volume
9058
Item Weight
718g
Additional Product Features
Series Title
Programming and Software Engineering
Country/Region of Manufacture
Switzerland
Editor
Rajeev Joshi, Gerard Holzmann, Klaus Havelund
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:296174265248
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.296174265248
Btw voor objectnr.296174265248
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.718)
2***2 (2060)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
Super! Thank you
i***c (105)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
Not read yet but in reasonable condition
p***p (896)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
Thanks for posting quickly and securely a very good book 👍