Bild 1 von 1
Bild 1 von 1
NASA Formale Methoden - 9783642380877-
£39,41
(inkl. MwSt.)
Ca.EUR 47,26
Artikelzustand:
Neu
Neues, ungelesenes, ungebrauchtes Buch in makellosem Zustand ohne fehlende oder beschädigte Seiten. Genauere Einzelheiten entnehmen Sie bitte dem Angebot des Verkäufers.
Versand:
£22,40 (ca. EUR 26,86) International Priority Shipping nach USA mit eBay-Programm zum weltweiten Versand.
Standort: Aldershot, Vereinigtes Königreich
Einfuhrabgaben:
Kostenlos (Betrag wird an der Kasse bestätigt)
Lieferung:
Lieferung zwischen Fr, 4. Okt und Mo, 14. Okt nach 43230 bei heutigem Zahlungseingang
Mit internationaler Sendungsverfolgung
Rücknahme:
60 Tage Rückgabe. Käufer zahlt Rückversand.
Zahlungen:
Sicher einkaufen
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:285345473445
Artikelmerkmale
- Artikelzustand
- Book Title
- NASA Formal Methods
- ISBN
- 9783642380877
- Publication Name
- NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
- Publisher
- Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
- Subject
- Computer Science
- Publication Year
- 2013
- Series
- Lecture Notes in Computer Science
- Type
- Textbook
- Format
- Paperback
- Language
- English
- Item Height
- 235 mm
- Item Weight
- 777 g
- Item Width
- 155 mm
- Number of Pages
- 486 Pages
Über dieses Produkt
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
Number of Pages
486 Pages
Language
English
Publication Name
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Publication Year
2013
Subject
Computer Science
Type
Textbook
Series
Lecture Notes in Computer Science
Format
Paperback
Dimensions
Item Height
235 mm
Item Weight
777 g
Item Width
155 mm
Volume
7871
Additional Product Features
Editor
Neha Rungta, Arnaud Venet, Guillaume Brat
Country/Region of Manufacture
Germany
Artikelbeschreibung des Verkäufers
Rechtliche Informationen des Verkäufers
BOOKS ETC LIMITED
Andy Smith
Books Etc, Unit 4
Eastern Road
Aldershot
Hampshire
GU12 4YD
United Kingdom
USt-IdNr.:
- GB 976952259
Handelsregisternummer:
- 06687355
Die Mehrwertsteuer wird auf meinen Rechnungen separat ausgewiesen.
Ich versichere, dass alle meine Verkaufsaktivitäten in Übereinstimmung mit allen geltenden Gesetzen und Vorschriften der EU erfolgen.
CRN-Nummer:
- 06687355
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (531.425)
- 1***o (109)- Bewertung vom Käufer.Letzter MonatBestätigter KaufI can't rate an item that never turned up supposed to be posted 17th September by yodel and when I checked it said second class royal mail. No tracking code was issued for such an expensive book. The only thing I can rate on was speedy communication and refund. Don't recommend at all I am afraid. Be very wary.
- j***1 (64)- Bewertung vom Käufer.Letzter MonatBestätigter KaufEssential book, new and as described
- 8***5 (1002)- Bewertung vom Käufer.Letzter MonatBestätigter KaufThanks