Guide to Software Verification with Frama-C : Core Components, Usages, and Applications

Termini e condizioni generali e informazioni sul cliente / Informativa sulla privacy

I. Condizioni generali di contratto

§ 1 Disposizioni di base

(1) I seguenti termini e condizioni si applicano a tutti i contratti che l'utente conclude con noi in qualità di fornitore (AHA-BUCH GmbH) tramite le piattaforme Internet AbeBooks e/o ZVAB. Se non diversamente concordato, l'inclusione di uno qualsiasi dei tuoi termini e condizioni da te utilizzati sarà contestata.
(2) Un consumatore ai sensi delle seguenti norme è qualsiasi persona fisica che conclude un negozio giuridico per scopi che non possono essere prevalentemente attribuiti né alla sua attività commerciale né alla sua attività professionale indipendente. Un imprenditore è qualsiasi persona fisica o giuridica o una società di persone con capacità giuridica che, al momento della conclusione di un negozio giuridico, agisce nell'esercizio della sua attività professionale o commerciale indipendente.

§ 2 Conclusione del contratto

(1) L'oggetto del contratto è la vendita di beni.

(2) Se un articolo è elencato da noi su AbeBooks o ZVAB, l'attivazione della pagina di offerta su AbeBooks o ZVAB costituisce l'offerta vincolante per concludere un contratto alle condizioni contenute nella pagina dell'articolo.

(3) Il contratto è concluso tramite il sistema di carrello online come segue:
La merce destinata all'acquisto viene stoccata nel "carrello". Tramite il pulsante corrispondente nella barra di navigazione è possibile richiamare il "carrello" e apportare modifiche in qualsiasi momento.
Dopo aver richiamato la pagina "Checkout" e inserito i dati personali e le condizioni di pagamento e spedizione, tutti i dati dell'ordine verranno nuovamente visualizzati nella pagina di panoramica dell'ordine.
Prima di inviare l'ordine, hai la possibilità di controllare nuovamente tutte le informazioni, modificarle (anche tramite la funzione "indietro" del browser Internet) o annullare l'acquisto.
Inviando l'ordine tramite il pulsante "Acquista ora", dichiari l'accettazione dell'offerta in modo legalmente vincolante, con la quale il contratto è concluso.

(4) L'elaborazione dell'ordine e la trasmissione di tutte le informazioni necessarie in relazione alla conclusione del contratto sono parzialmente automatizzate via e-mail. È quindi necessario assicurarsi che l'indirizzo e-mail che hai memorizzato con noi sia corretto, che la ricezione delle e-mail sia tecnicamente garantita e, in particolare, che i filtri antispam non lo impediscano.

§ 3 Diritto di ritenzione, riserva di proprietà
(1) È possibile esercitare un diritto di ritenzione solo se si tratta di reclami derivanti dallo stesso rapporto contrattuale.

(2) La merce rimane di nostra proprietà fino al completo pagamento del prezzo di acquisto.

§ 4 Garanzia

(1)I diritti di garanzia legali esistono.
(2)Nel caso di beni usati, il periodo di garanzia è di un anno dalla consegna dell'articolo, in deroga alla normativa di legge. La riduzione del termine non si applica:

• danni causati colpevolmente a noi imputabili da lesioni alla vita, all'incolumità fisica o alla salute e in caso di altri danni causati intenzionalmente o per negligenza grave;
• nella misura in cui abbiamo nascosto fraudolentemente il difetto o abbiamo assunto una garanzia per la qualità dell'articolo.
  (3) In qualità di consumatore, sei pregato di controllare l'articolo immediatamente dopo la consegna per verificarne la completezza, i difetti evidenti e i danni di trasporto e di informare noi e lo spedizioniere di eventuali reclami il prima possibile. Se non si rispetta questo, ciò non avrà alcun effetto sulle richieste di garanzia legale.

§ 5 Scelta della legge, luogo di adempimento, foro competente

(1)Si applica il diritto tedesco. Nel caso dei consumatori, questa scelta di legge si applica solo nella misura in cui ciò non revochi la protezione offerta dalle disposizioni imperative della legge dello Stato di residenza abituale del consumatore (principio di favorevolezza).

(2)Il luogo di adempimento per tutti i servizi derivanti dai rapporti commerciali esistenti con noi e il foro competente è la nostra sede legale, nella misura in cui non sei un consumatore, ma un commerciante, una persona giuridica di diritto pubblico o un fondo speciale di diritto pubblico. Lo stesso vale se non si dispone di un foro competente generale in Germania o nell'UE o se il domicilio o la residenza abituale non sono noti al momento della proposizione dell'azione. Il diritto di ricorrere al tribunale di un altro foro competente rimane inalterato.

(3)Le disposizioni della Convenzione delle Nazioni Unite sui contratti di vendita internazionale di merci non si applicano espressamente.

II. Informazioni sul cliente

1. Identità del Venditore
   AHA-BUCH GmbH
   Garlebsen 48 •
   D-37574 Einbeck
   Germania
   Telefono: 055639996039
   E-mail: abebooks@aha-buch.de

Risoluzione alternativa delle controversie:
La Commissione europea fornisce una piattaforma per la risoluzione extragiudiziale delle controversie online (piattaforma ODR), accessibile nell'ambito di https://ec.europa.eu/odr.

1. Informazioni sulla conclusione del contratto
   Le fasi tecniche per la conclusione del contratto, la conclusione del contratto stesso e le opzioni di correzione sono eseguite in conformità con le disposizioni "Conclusione del contratto" delle nostre Condizioni Generali (Parte I.).

2. Lingua del contratto, archiviazione del testo del contratto

3.1. La lingua del contratto è il tedesco.

3.2. Il testo completo del contratto non sarà memorizzato da noi. Prima di inviare l'ordine, i dati del contratto possono essere stampati o salvati elettronicamente tramite la funzione di stampa del browser. Dopo aver ricevuto l'ordine da parte nostra, i dati dell'ordine, le informazioni legalmente prescritte per i contratti a distanza e le Condizioni generali ti verranno nuovamente inviati via e-mail.

1. Caratteristiche essenziali dei beni o servizi
   Le caratteristiche essenziali dei beni e/o servizi possono essere trovate nella rispettiva offerta.

2. Prezzi e condizioni di pagamento

5.1. I prezzi indicati nelle rispettive offerte e le spese di spedizione rappresentano i prezzi totali. Includono tutte le componenti del prezzo, comprese tutte le tasse applicabili.

5.2. Le spese di spedizione sostenute non sono incluse nel prezzo di acquisto. Possono essere richiamati tramite un pulsante designato sul nostro sito Web o nella rispettiva offerta, sono mostrati separatamente nel corso del processo di ordinazione e devono essere a carico dell'utente in aggiunta, a meno che non sia stata promessa la spedizione gratuita.

5.3. Se la consegna viene effettuata in paesi al di fuori dell'Unione Europea, potremmo incorrere in costi aggiuntivi per i quali non siamo responsabili, come dazi doganali, tasse o commissioni di trasferimento di denaro (commissioni di trasferimento o di cambio degli istituti di credito), che sono a tuo carico. Eventuali costi sostenuti per il trasferimento di denaro saranno sostenuti anche da te nei casi in cui la consegna viene effettuata in uno stato membro dell'UE, ma il pagamento è stato avviato al di fuori dell'Unione Europea.

5.4. I metodi di pagamento a tua disposizione sono indicati sotto un pulsante corrispondente sul nostro sito web o nella rispettiva offerta.

5.5. Salvo diversa indicazione per i singoli metodi di pagamento, i diritti di pagamento derivanti dal contratto concluso sono immediatamente dovuti per il pagamento.

1. Termini di consegna

6.1. I termini di consegna, la data di consegna e, se applicabile, le restrizioni di consegna esistenti sono disponibili sotto un pulsante designato sul nostro sito Web o nella rispettiva offerta. Nella misura in cui nessun altro termine è specificato nella rispettiva offerta o sotto il pulsante corrispondente designato, la consegna della merce avverrà entro 3-5 giorni dalla conclusione del contratto (in caso di pagamento anticipato concordato, tuttavia, solo dopo il tempo dell'istruzione di pagamento).

6.2. Nella misura in cui sei un consumatore, è regolato dalla legge che il rischio di perdita accidentale e deterioramento accidentale dell'articolo venduto durante la spedizione passerà a te solo al momento della consegna della merce, indipendentemente dal fatto che la spedizione sia assicurata o non assicurata. Ciò non si applica se hai commissionato in modo indipendente una società di trasporti non nominata dall'imprenditore o da una persona altrimenti designata per effettuare la spedizione.

1. Responsabilità legale per difetti
   La responsabilità per i difetti è regolata dalla disposizione "Garanzia" nei nostri Termini e condizioni generali (Parte I).

ultimo aggiornamento: 07/12/2017

Se sei un consumatore puoi recedere dal contratto in conformità con quanto segue. Per Consumatore si intende qualsiasi persona fisica che agisce per scopi estranei alla propria attività commerciale, imprenditoriale, artigianale o professionale.

Informazioni sul diritto di recesso

Diritto legale di recesso

Hai il diritto di recedere dal presente contratto entro 14 giorni senza fornire alcuna motivazione.

Il periodo di recesso scade dopo 14 giorni dal giorno in cui tu o una terza parte, diversa dal vettore e da te indicata, acquisisce il possesso fisico dell'ultimo bene o dell'ultimo lotto o pezzo.

Per esercitare il diritto di recesso, compila e invia elettronicamente una dichiarazione esplicita sul nostro sito Web, alla voce “I miei acquisti” nella sezione “Mio account”. Ti comunicheremo senza indugio una conferma di ricezione di tale recesso su un supporto durevole (ad es. via e-mail).

Per rispettare il termine di recesso, è sufficiente inviare la comunicazione relativa all'esercizio del diritto di recesso prima della scadenza del periodo di recesso stesso.

Effetti del recesso

In caso di recesso dal presente contratto, ti rimborseremo tutti i pagamenti ricevuti, compresi i costi di spedizione (ad eccezione dei costi supplementari derivanti dalla tua eventuale scelta di un tipo di spedizione diverso dal tipo meno costoso di consegna standard da noi offerto).

Potremo effettuare una detrazione dal rimborso per la perdita di valore dei beni forniti, qualora tale perdita sia il risultato di una manipolazione non necessaria da parte tua.

Eseguiremo il rimborso senza indebito ritardo e non oltre 14 giorni dal giorno in cui saremo informati della tua decisione di recedere dal presente contratto.

Il rimborso sarà effettuato utilizzando lo stesso mezzo di pagamento da te usato per la transazione iniziale, salvo che tu non abbia espressamente concordato altrimenti; in ogni caso, non dovrai sostenere alcun costo quale conseguenza di tale rimborso.

Possiamo trattenere il rimborso finché non avremo ricevuto i beni oppure finché non avrai fornito la prova di averli rispediti, a seconda di quale condizione si verifichi per prima.

Dovrai rispedire i beni o consegnarli a AHA-BUCH GmbH, Einbeck, Germany, senza indebito ritardo e, in ogni caso, entro 14 giorni dal giorno in cui ci hai comunicato la tua volontà di recedere dal presente contratto. Il termine è rispettato se rispedisci i beni prima della scadenza del periodo di 14 giorni. I costi diretti della restituzione dei beni saranno a tuo carico. Sei responsabile solo della diminuzione del valore dei beni risultante da una manipolazione diversa da quella necessaria per stabilire la natura, le caratteristiche e il funzionamento dei beni stessi.

Eccezioni al diritto di recesso

Il diritto di recesso non si applica a:

1. La fornitura di giornali, periodici o riviste ad eccezione dei contratti di abbonamento; e
2. La fornitura di contenuto digitale non fornito su un supporto materiale (ad es. su un CD o DVD), se al momento dell'invio dell'ordine hai accettato l'inizio dell'esecuzione e hai riconosciuto che non avresti potuto recedere una volta iniziata l'esecuzione.

Spediamo il tuo ordine dopo averlo ricevuto
per articoli a portata di mano entro 24 ore,
per articoli con fornitura notturna entro 48 ore.
Nel caso in cui abbiamo bisogno di ordinare un articolo dal nostro fornitore, il nostro tempo di spedizione dipende dalla data di ricezione degli articoli, ma gli articoli verranno spediti lo stesso giorno.

Il nostro obiettivo è quello di inviare gli articoli ordinati nel modo più veloce, ma anche più efficiente e sicuro ai nostri clienti.

Informativa sulla privacy

Salvo diversa indicazione di seguito, la fornitura dei tuoi dati personali non è richiesta dalla legge o dal contratto, né è necessaria per la conclusione di un contratto. Non sei obbligato a fornire i dati. Il mancato conferimento non avrà alcuna conseguenza. Ciò vale solo se non vengono fornite altre informazioni nelle successive operazioni di trattamento.
Per "dati personali" si intende qualsiasi informazione relativa a una persona fisica identificata o identificabile.

Raccolta, elaborazione e utilizzo dei dati personali per gli ordini

Al momento dell'ordine, raccogliamo e utilizziamo i tuoi dati personali solo nella misura necessaria per soddisfare ed elaborare il tuo ordine e per elaborare le tue richieste. Il conferimento dei dati è necessario per la conclusione del contratto. Il trattamento viene effettuato sulla base dell'articolo 6 (1) lit. b GDPR ed è necessario per l'esecuzione di un contratto con voi. I tuoi dati non saranno trasmessi a terzi senza il tuo esplicito consenso. Sono esclusi da ciò solo i nostri partner di servizio, di cui abbiamo bisogno per elaborare il rapporto contrattuale o i fornitori di servizi che utilizziamo nel contesto dell'elaborazione degli ordini. Oltre ai destinatari nominati nelle rispettive clausole della presente dichiarazione sulla protezione dei dati, questi sono, ad esempio, destinatari delle seguenti categorie: fornitori di servizi di spedizione, fornitori di servizi di pagamento, fornitori di servizi di gestione delle merci, fornitori di servizi per l'elaborazione degli ordini, host web, fornitori di servizi IT e commercianti dropshipping. In tutti i casi, osserviamo rigorosamente i requisiti legali. L'ambito della trasmissione dei dati è limitato al minimo.

Durata della conservazione

Dopo il completamento del contratto, i dati saranno prima conservati per la durata del periodo di garanzia, quindi tenendo conto dei periodi di conservazione legali, in particolare fiscali e commerciali e quindi cancellati dopo la scadenza del periodo, a meno che tu non abbia acconsentito a ulteriori elaborazioni e utilizzo.

Diritti dell'interessato
Se i requisiti legali sono soddisfatti, hai i seguenti diritti ai sensi degli articoli da 15 a 20 GDPR: diritto all'informazione, alla correzione, alla cancellazione, alla limitazione del trattamento, alla portabilità dei dati. Inoltre, ai sensi dell'articolo 21 (1) GDPR, hai il diritto di opporti al trattamento basato sull'articolo 6 (1) f GDPR e al trattamento per scopi di marketing diretto.

Contattaci su richiesta. I dettagli di contatto possono essere trovati nella nostra impronta.

Diritto di proporre reclamo all'autorità di controllo
Ai sensi dell'articolo 77 del GDPR, hai il diritto di presentare un reclamo all'autorità di controllo se ritieni che il trattamento dei tuoi dati personali non sia lecito.

ultimo aggiornamento: 25/04/2018