Zurück zur Startseite
|Eingestellt in Kategorie:
|
Auf die Beobachtungsliste
Dieser Artikel ist nicht vorrätig.

Bild 1 von 1

Modellprüfsoftware: 22. Internationales Symposium, SPIN 2015, - Bild 1 von 1
Ähnlichen Artikel verkaufen?
Selbst verkaufen

Modellprüfsoftware: 22. Internationales Symposium, SPIN 2015,

Artikelzustand:
Neu
Preis:
£79,45
(inkl. MwSt.)
Ca.CHF 90,62
Dieser Artikel wird über das eBay-Programm zum weltweiten Versand verschickt.
Mit internationaler Sendungsverfolgung, vereinfachter Zollabfertigung und ohne zusätzliche Gebühren bei Lieferung. Mehr erfahren
Versand:
£39,85 (ca. CHF 45,45) Expressversand nach USA mit eBay-Programm zum weltweiten Versand
Dieser Betrag enthält die vom Verkäufer angegebenen Inlandsversandkosten, die anfallenden Kosten für internationalen Versand, Verpackung und sonstige Gebühren. Angaben ohne Gewähr. Der Betrag kann sich bis zum Zahlungstermin ändern. Weitere Informationen finden Sie in den Nutzungsbedingungen für das Programm zum weltweiten Versand
. Weitere Detailsfür Versand
Standort: Gloucester, Vereinigtes Königreich
Einfuhrabgaben: 
Kostenlos (Betrag wird an der Kasse bestätigt)
Dieser Betrag enthält die anfallenden Zollgebühren, Steuern, Provisionen und sonstigen Gebühren. Angaben ohne Gewähr. Der Betrag kann sich bis zum Zahlungstermin ändern. Weitere Informationen finden Sie in den Nutzungsbedingungen für das Programm zum weltweiten Versand
Lieferung:
Lieferung zwischen Do, 30. Mai und Do, 6. Jun nach 43230 bei heutigem Zahlungseingang
Liefertermine - wird in neuem Fenster oder Tab geöffnet berücksichtigen die Bearbeitungszeit des Verkäufers, die PLZ des Artikelstandorts und des Zielorts sowie den Annahmezeitpunkt und sind abhängig vom gewählten Versandservice und dem ZahlungseingangZahlungseingang - wird ein neuem Fenster oder Tab geöffnet. Insbesondere während saisonaler Spitzenzeiten können die Lieferzeiten abweichen.
Mit internationaler Sendungsverfolgung
Rücknahmen:
30 Tage Rückgabe. Käufer zahlt Rückversand. Weitere Details- Informationen zu Rückgaben
Zahlungen:
     
Internationale Versandkosten und Einfuhrabgaben gezahlt an Pitney Bowes Inc. Mehr erfahrenWeitere Informationen über das Programm zum weltweiten Versand

Sicher einkaufen

eBay-Käuferschutz
Geld zurück, wenn etwas mit diesem Artikel nicht stimmt. 
Mehr erfahreneBay-Käuferschutz - wird in neuem Fenster oder Tab geöffnet

Angaben zum Verkäufer

Angemeldet als gewerblicher Verkäufer
Artikel melden - wird in neuem Fenster oder Tab geöffnet
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:166679990546
Zuletzt aktualisiert am 02. Mai. 2024 20:14:45 MESZAlle Änderungen ansehenAlle Änderungen ansehen

Artikelmerkmale

Artikelzustand
Neu: Neues, ungelesenes, ungebrauchtes Buch in makellosem Zustand ohne fehlende oder beschädigte ...
EAN
9783319234038
UPC
9783319234038
ISBN
9783319234038
MPN
N/A
Book Title
Model Checking Software: 22nd International Sympos
Item Length
23.4 cm
Publication Year
2015
Type
Textbook
Format
Paperback
Language
English
Publication Name
Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
Item Height
235mm
Author
Bernd Fischer, Jaco Geldenhuys
Publisher
Springer International Publishing A&G
Item Width
155mm
Subject
Computer Science
Item Weight
5153g
Number of Pages
319 Pages

Über dieses Produkt

Product Information

This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Buchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.

Product Identifiers

Publisher
Springer International Publishing A&G
ISBN-13
9783319234038
eBay Product ID (ePID)
217358723

Product Key Features

Author
Bernd Fischer, Jaco Geldenhuys
Publication Name
Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
2015
Type
Textbook
Number of Pages
319 Pages

Dimensions

Item Height
235mm
Item Width
155mm
Volume
9232
Item Weight
5153g

Additional Product Features

Series Title
Lecture Notes in Computer Science
Country/Region of Manufacture
Switzerland
Editor
Bernd Fischer, Jaco Geldenhuys

Artikelbeschreibung des Verkäufers

Rechtliche Informationen des Verkäufers

USt-IdNr.:
  • GB 118119922
loveourprices2

loveourprices2

97,8% positive Bewertungen
396 Tsd. Artikel verkauft
Shop besuchenKontakt
Antwortet meist innerhalb 24 Stunden

Detaillierte Verkäuferbewertungen

Durchschnitt in den letzten 12 Monaten

Genaue Beschreibung
4.9
Angemessene Versandkosten
5.0
Lieferzeit
4.8
Kommunikation
4.8
Angemeldet als gewerblicher Verkäufer

Verkäuferbewertungen (107'994)

r***a (105)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
I was sent a book, Reacher Killing Floor, I ordered the movie with that name, Why would you send me a book, I am 74 years old and don't see well. Tried to contact love our prices, no response.
Reacher: Killing Floor (Movie Tie-In) (Jack Reacher) by Child, Lee (Nr. 176322498367)
a***e (24)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Seller accepted my offer & the transaction was very smooth. Packaged well and delivered on time. Thank you
Read Write Inc. Phonics: A bad mood (Orange Set 4 Book Bag Book 5) (Nr. 375162618505)
s***z (46)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
hat alles gepasst :D
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 8 (Mushoku Tensei: (Nr. 166392738144)
Alle Bewertungen ansehen

Noch mehr entdecken: