Foto 1 di 1

Ne hai uno da vendere?

Software corretto: semantica, specifiche, verifica e test del programma-

Condizione:

non specificato

“Gutes Ex. - Das Buch stellt neue effiziente und praktisch einsetzbare Techniken zur Spezifikation ”... Ulteriori informazioniinformazioni sulla condizione

Prezzo:

EUR 12,00

Goditi i vantaggi. Restituzioni accettate.

Spedizione:

EUR 17,00 Economica. Vedi i dettagliper la spedizione

Oggetto che si trova a: Berlin, Germania

Consegna:

Consegna prevista tra il lun 10 giu e il gio 20 giu a 43230

Il venditore effettua la spedizione entro 2 giorni dalla ricezione del pagamento.

Restituzioni:

Restituzione entro 1 mese. L'acquirente paga le spese di spedizione per la restituzione dell'oggetto. Vedi i dettagli- per maggiori informazioni sulle restituzioni

Pagamenti:

Fai shopping in tutta sicurezza

Garanzia cliente eBay

Se non ricevi l'oggetto che hai ordinato, riceverai il rimborso.

Ulteriori informazioniGaranzia cliente eBay - viene aperta una nuova finestra o scheda

Informazioni sul venditore

buchfundus-berlin (12886)
99,9% di Feedback positivi

Registrato come venditore professionale

Segnala questo oggetto - si apre in una nuova finestra o scheda

Il venditore si assume la piena responsabilità della messa in vendita dell'oggetto.

Numero oggetto eBay:404061574988

Ultimo aggiornamento: 19 apr 2024 12:14:53 CESTVedi tutte le revisioniVedi tutte le revisioni

Specifiche dell'oggetto

Note del venditore: “Gutes Ex. - Das Buch stellt neue effiziente und praktisch einsetzbare Techniken zur Spezifikation ... “Gutes Ex. - Das Buch stellt neue effiziente und praktisch einsetzbare Techniken zur Spezifikation und Implementierung korrekter Software vor. Neben einer kritischen Analyse verbreiteter mathematischer Methoden zur Verifikation von Software werden neue alternative Verifikationsmethoden vorgestellt und deren praktische Einsatzfähigkeit bewertet. Genauer werden höhere Verfahren unter-sucht sowie informatische Techniken, die durch "Übersetzung" selbsterklärender Konstrukte in reale Programmiersprachen korrekte Programme zu schreiben gestatten. Außerdem wird gezeigt, unter welchen Umständen sich systematische Testverfahren zur Verifikation eignen. Das Buch besitzt eine umfangreiche Beispielsammlung zur Verifikation, wobei sowohl eher mathematische, als auch neue informatische Techniken demonstriert werden. (Verlagstext) ISBN 9783411160013”

EAN: 9783411160013

ISBN: 3411160012

Verlag: Mannheim ; Leipzig ; Wien ; Zürich : BI-Wiss.-Verl

Erscheinungsjahr: 1993

Autor: Kowalk, Wolfgang

Sprache: Deutsch

Genre: Informatik

Descrizione dell'oggetto fatta dal venditore

Informazioni sul venditore professionale

Borkert, Schwarz und Zerfaß GbR

Daniel Borkert

Kurfürstenstr. 14

10785 Berlin

Germany

Mostra Informazioni di contatto

:onofeleT21739752030

:liamEed.sudnuf-hcub@redro

Numero Partita IVA:

DE 260909845

Certifico che tutte le mie attività di vendita saranno conformi alle leggi e ai regolamenti dell'Unione Europea.

Il venditore si assume la piena responsabilità della messa in vendita dell'oggetto.

Numero oggetto eBay:404061574988

Ultimo aggiornamento: 19 apr 2024 12:14:53 CESTVedi tutte le revisioniVedi tutte le revisioni

Spedizione e imballaggio

Luogo in cui si trova l'oggetto:

Berlin, Germania

Destinazione:

America, Asia, Australia, Europa

Paesi in cui non si effettua la spedizione:

Federazione Russa

Modifica il Paese:

Spedizione e imballaggio	A	Servizio	Consegna*Vedi le note di consegna
EUR 17,00	Stati Uniti	Economica (Economy Int'l Versand)	Consegna prevista tra il lun 10 giu e il gio 20 giu a 43230 Il venditore effettua la spedizione entro 2 giorni dalla ricezione del pagamento.

Note - Consegna *Le date di consegna stimate includono tempi di imballaggio, CAP di origine, CAP di destinazione e periodo di accettazione e dipendono dal servizio di spedizione selezionato e dalla ricezione del pagamento. I tempi di consegna possono variare, soprattutto durante le festività.

Tempi di imballaggio

La spedizione di solito viene effettuata entro 2 giorni lavorativi dalla ricezione del pagamento.

Imposte

Il prezzo indicato include l'IVA. Il costo finale potrebbe variare in base all'indirizzo di consegna specificato. Ulteriori informazioniUlteriori informazioni sull'imposta sul valore aggiunto.

Imposte sulle vendite per oggetto num. 404061574988

Il venditore riscuote l'imposta sulle vendite per gli oggetti spediti ai seguenti Stati:

Stato	Aliquota dell'imposta sulla vendita

* L'imposta viene calcolata per il totale parziale, la spedizione e l'imballaggio solo per questi Stati

Regole sulle restituzioni

Dopo aver ricevuto l'oggetto, contatta il venditore entro	Spese di restituzione
Accettate entro 1 mese	L'acquirente paga le spese di spedizione per la restituzione dell'oggetto

Clicca quiqui per ulteriori dettagli sulle Restituzioni. Per le transazioni idonee, sei coperto dal programma Garanzia cliente eBay se ricevi un oggetto non conforme alla descrizione.

Le spese di spedizione per la restituzione sono a carico dell'acquirente.

Informazioni sulla restituzione

Widerrufsbelehrung

Als Verbraucher haben Sie folgendes Widerrufsrecht, sofern Sie Unternehmer sind,

gilt dieses Widerrufsrecht nicht:

Widerrufsbelehrung

Widerrufsrecht

Sie haben das Recht, binnen vierzehn Tagen ohne Angabe von Gründen diesen Vertrag zu

widerrufen.

Die Widerrufsfrist beträgt vierzehn Tage ab dem Tag, an dem Sie oder ein von Ihnen

benannter Dritter, der nicht der Beförderer ist, die letzte Ware in Besitz genommen haben

bzw. hat.

Um Ihr Widerrufsrecht auszuüben, müssen Sie uns, der

Fundus-Online GbR

Borkert / Schwarz / Zerfaß

Kurfürstenstr. 14

10785 Berlin

Tel: 030-25793712

Fax: 030-25793713

www.buch-fundus.de

mittels

einer eindeutigen Erklärung (z. B. ein mit der Post versandter Brief, Telefax oder E-Mail)

über Ihren Entschluss, diesen Vertrag zu widerrufen, informieren. Sie können dafür das

beigefügte Muster-Widerrufsformular verwenden, das jedoch nicht vorgeschrieben ist.

Sie können das nachgestellte Muster-Widerrufsformular oder eine andere eindeutige Erklärung übermitteln.

Machen Sie von dieser Möglichkeit Gebrauch, so werden wir Ihnen unverzüglich (z. B.

per E-Mail) eine Bestätigung über den Eingang eines solchen Widerrufs übermitteln.

Zur Wahrung der Widerrufsfrist reicht es aus, dass Sie die Mitteilung über die Ausübung des

Widerrufsrechts vor Ablauf der Widerrufsfrist absenden.

Folgen des Widerrufs

Wenn Sie diesen Vertrag widerrufen, haben wir Ihnen alle Zahlungen, die wir von Ihnen

erhalten haben, einschließlich der Lieferkosten (mit Ausnahme der zusätzlichen Kosten, die

sich daraus ergeben, dass Sie eine andere Art der Lieferung als die von uns angebotene,

günstigste Standardlieferung gewählt haben), unverzüglich und spätestens binnen vierzehn

Tagen ab dem Tag zurückzuzahlen, an dem die Mitteilung über Ihren Widerruf dieses

Vertrags bei uns eingegangen ist. Für diese Rückzahlung verwenden wir dasselbe

Zahlungsmittel, das Sie bei der ursprünglichen Transaktion eingesetzt haben, es sei denn,

mit Ihnen wurde ausdrücklich etwas anderes vereinbart; in keinem Fall werden Ihnen wegen

dieser Rückzahlung Entgelte berechnet. Wir können die Rückzahlung verweigern, bis wir die

Waren wieder zurückerhalten haben oder bis Sie den Nachweis erbracht haben, dass Sie die

Waren zurückgesandt haben, je nachdem, welches der frühere Zeitpunkt ist.

Sie haben die Waren unverzüglich und in jedem Fall spätestens binnen vierzehn Tagen ab

dem Tag, an dem Sie uns über den Widerruf dieses Vertrags unterrichten, an uns zurückzusenden oder zu übergeben. Die Frist ist

gewahrt, wenn Sie die Waren vor Ablauf der Frist von vierzehn Tagen absenden. Sie tragen

die unmittelbaren Kosten der Rücksendung der Waren.

Sie müssen für einen etwaigen Wertverlust der Waren nur aufkommen, wenn dieser

Wertverlust auf einen zur Prüfung der Beschaffenheit, Eigenschaften und Funktionsweise

der Waren nicht notwendigen Umgang mit ihnen zurückzuführen ist.

Ende der Widerrufsbelehrung

Muster-Widerrufsformular

(Wenn Sie den Vertrag widerrufen wollen, dann füllen Sie bitte dieses Formular aus und senden Sie es zurück.)

- An: Fundus-Online GbR

Borkert / Schwarz / Zerfaß

Kurfürstenstr. 14

10785 Berlin

Fax: 030-25793713

order@buch-fundus.de

- Hiermit widerrufe(n) ich/ wir (*) den von mir/ uns (*) abgeschlossenen Vertrag über den Kauf der folgenden Waren (*)/

die Erbringung der folgenden Dienstleistung (*)

- Bestellt am (*)/ erhalten am (*)

- Name des/ der Verbraucher(s)

- Anschrift des/ der Verbraucher(s)

- Unterschrift des/ der Verbraucher(s) (nur bei Mitteilung auf Papier)

- Datum

(*) Unzutreffendes streichen.

Dettagli di pagamento

Metodi di pagamento

Nota: nella procedura di pagamento potrebbero non essere disponibili alcuni metodi di pagamento a causa della valutazione del rischio dell'acquirente.

buchfundus-berlin

99,9% di Feedback positivi

26 mila oggetti venduti

Visita il Negozio Contatta

Valutazione dettagliata del venditore

Media degli ultimi 12 mesi

Descrizione

4.9

Spese spedizione

4.9

Tempi spedizione

5.0

Comunicazione

4.9

Categorie più popolari di questo Negozio

Vedi tuttecategorie

AbenteuerAfrikaAmerikaAmerikanistikAnglistikAnthologienAnthropologieAnti-SemitismusAntike

Registrato come venditore professionale

Feedback del venditore (13.918)

f***f (63)- Feedback lasciato dall'acquirente.

Mese scorso

Acquisto verificato

I am very satisfied with the transaction. I recommend.

Chess Variations. Ancient, Regional, and Modern. Gollon, John: (#334608622891)

e***e (279)- Feedback lasciato dall'acquirente.

Mese scorso

Acquisto verificato

Tolles kleines Buch. Es ist sehr bewegend, die Handschrift von Robert Walser zu sehen. Artikel wie beschrieben, sehr sorgfältig verpackt und super schnell geliefert. Vielen Dank. Gerne wieder

Saite und Sehnsucht. Faksimile-Ausgabe [der Handschrift]. Im Auftrag der Carl-Se (#334444504535)

l***0 (113)- Feedback lasciato dall'acquirente.

Mese scorso

Acquisto verificato

Ich habe das Buch NICHT bekommen!!! Kann folglich KEINE Bewertung abgeben.

Rainer Maria Rilke. Andreas-Salome, Lou: (#404844064712)

Vedi tutti i Feedback