Zur gleichzeitigen Programmierung
1 Einleitung. - 1. 1 Gleichzeitige Programme. - 1. 2 Kommunikation und Synchronisation. - 1. 3 Gleichzeitige Programme verstehen. - 1. 4 Eine Vorschau. - Historische Anmerkungen zu Kapitel 1. - Übungen für Kapitel 1. - 2 Formale Logik. - 2. 1 Formale logische Systeme. - 2. 2 Aussagenlogik. - 2. 3 Eine Prädikatenlogik. - 2. 4 Sicherheit und Lebendigkeit neu gedacht. - Historische Notizen zu Kapitel 2. - Übungen für Kapitel 2. - 3 Zeitliche Logik. - 3. 1 Informelle Vorschau. - 3. 2 Syntax und Bedeutung von Formeln. - 3. 3 Axiome und Inferenzregeln. - 3. 4 Anwendungen der temporalen Logik. - 3. 5 Über modale Logiken. - Historische Anmerkungen zu Kapitel 3. - Übungen zu Kapitel 3. - 4 Notation und Logik für die sequentielle Programmierung. - 4. 1 Notation für sequentielle Programme. - 4. 2 Argumentation zu Programmzuständen. - 4. 3 Logik der Beweisgliederung. - 4. 4 Zuweisung zu zusammengesetzten Variablen. - 4. 5 Ein Prädikat-Transformator. - Historische Anmerkungen zu Kapitel 4. - Übungen zu Kapitel 4. - 5 Parallelität und Interferenz. - 5. 1 Angeben von Parallelität. - 5. 2 Axiome des Kontrollprädikats. - 5. 3 Freiheit der Interferenz. - 5. 4 Ausblenden von Kontrollprädikaten in abgeleiteten Begriffen. - 5. 5 Synchron geänderte und freigegebene Assertionen. - 5. 6 Festlegen der Synchronisation. - 5. 7 Synchronisation und Interferenz. - Historische Anmerkungen zu Kapitel 5. - Übungen zu Kapitel 5. - 6 Sicherheitseigenschaften: Invarianz. - 6. 1 Invarianz-Eigenschaften. - 6. 2 Überprüfen von Invarianzeigenschaften. - 6. 3 Ausschluss von Konfigurationen. - 6. 4 Direkte Verwendung von Proof-Gliederungen. - 6. 5 Entwicklung von Programmen für Invarianzeigenschaften. - Historische Anmerkungen zu Kapitel 6. - Übungen zu Kapitel 6. - 7 Sicherheitseigenschaften mit vergangenen Laufzeiten. - 7. 1 Historische Sicherheitseigenschaften. - 7. 2 Vergangene Erweiterungen der Prädikatlogik. - 7. 3 Überprüfung historischer Sicherheitseigenschaften. - 7. 4 Entwicklung von Programmen für historische Sicherheitseigenschaften. - 7. 5 Hilfsvariablen. - 7. 6 Einige Vorsichtsmaßnahmen. - Historische Anmerkungen zu Kapitel 7. - Übungen zu Kapitel 7. - 8 Überprüfen beliebiger temporaler Logikeigenschaften. - 8. 1 S-Zeitlogik neu interpretiert. - 8. 2 Es sei denn, es handelt sich um Eigenschaften und Derivate. - 8. 3 Annahmen zur Fairness. - 8. 4 Schlussfolgerung aus Fairnessannahmen. - 8. 5 hilfreiche Maßnahmen und Eventualitäten. - 8. 6 Lebendigkeit bei gegenseitiger Ausgrenzung. - Historische Anmerkungen zu Kapitel 8. - Übungen für Kapitel 8. - 9 Programmieren mit feinkörnigen atomaren Aktionen. - 9. 1 Atomarität vortäuschen. - 9. 2 Übersetzungsunabhängiges Denken. - 9. 3 Implementieren der Bedingungssynchronisation. - 9. 4 Programmieren mit der Teilmenge. - 9. 5 Synchronisation und Interferenz neu betrachtet. - 9. 6 Anweisungen für die Verriegelung. - 9. 7 Beispiel: Synchronisierung von Barrieren. - Historische Anmerkungen zu Kapitel 9. - Übungen zu Kapitel 9. - 10 Semaphor-Sperren und bedingte kritische Bereiche. - 10. 1 Semaphoren. - 10. 2 Änderung der Variablen, um Semaphoren zu verwenden. - 10. 3 Binäre Semaphoren und Schlösser. - 10. 4 Split-Binär-Semaphor-Methode. - 10. 5 bedingte kritische Bereiche. - Historische Notizen zu Kapitel 10. - Übungen für Kapitel 10. - 11 Nachrichtenweitergabe und verteilte Programmierung. - 11. 1 Asynchrone Nachrichtenübergabe. - 11. 2 Synchrones Übergeben von Nachrichten. - 11. 3 Ableitung von verteilten Programmen. - 11. 4 Darstellungen mit gemeinsamen Variablen. - Historische Anmerkungen zu Kapitel 11. - Übungen zu Kapitel 11. - 12 Zusammenfügen. - 12. 1 Über Sprachen. - 12. 2 Grundsätze zur Überprüfung der Sicherheits- und Lebendigkeitseigenschaften. - 12. 3 Beweise erhöhen nur das Vertrauen. - 12. 4 Ein Werkzeug und Anwendungen. - Historische Anmerkungen zu Kapitel 12. -Referenzen. Sprache: Englisch
| Marke | Unbranded |
|---|---|
| Künstler | Fred B. Schneider |
| Format | Taschenbuch |
| Verlag / Label | Springer |
| Sprache | Englisch |
| Erscheinungsdatum | 2012/09/30 |
| Produkt ID | 337908804-741568302 |
| ISBN | 9781461273035 |
| 7,49 € | STANDARD: | Voraussichtlicher Liefertermin Di. 30 Juni 2026 ─ Fr. 03 Juli 2026 |
Das Produkt wird aus Vereinigtes Königreich ausgeliefert.
Alternative Versandarten sind an der Kasse ausgewählt werden.
Die Produkte werden von den einzelnen Fruugo Einzelhändler geliefert, die in ganz Europa und dem Rest der Welt befinden. Die Lieferzeiten und Versandpreise variieren je nach Standort des Einzelhändler, die das Zielland und die Liefermethode ausgewählt.
Fruugo bietet zwei Lieferoptionen: Standard Delivery oder Express Delivery. Alle Einzelhändler bieten einen Standard-Lieferservice, und einige Händler bieten auch einen Express-Lieferservice.
- Standard Delivery - Domestic Standard Delivery dauert ca. 2-5 Werktagen ab Versendung, während ein International Standard Delivery 5-14 Werktage ab Versand erfolgt. Sendungsverfolgung und Zustellnachweis normalerweise nicht verfügbar sind auf einem Standard-Service.
- Express Delivery - Domestic Express Delivery dauert ca. 1-2 Werktage ab Versand, während ein International Express Delivery 3-7 Werktagen ab Versand erfolgt. Normalerweise Track and Trace und / oder der Nachweis der Lieferung ist auf einen Express-Service zur Verfügung.
Obwohl Fruugo Einzelhändler innerhalb dieser Fristen zu liefern bemühen, beachten Sie bitte, dass die oben genannten Zeiträume geschätzt werden und nicht garantiert.
Die Lieferfristen beinhalten keinen Zoll mal über Fruugo Kontrolle zu löschen.
Bitte erlauben Sie zusätzliche Lieferzeit für Lieferungen an außergewöhnlichen Orten, die schwer zu erreichbaren, und auch während der Stoßzeiten wie Weihnachten.
Alle Betreiber liefern während der normalen Geschäfts Arbeitszeit und können eine Unterschrift beim Empfang benötigen, so stellen Sie sicher, Ihre Bestellung an eine Adresse geliefert wird, wo jemand verfügbar sein wird, es zu akzeptieren.
Wir tun unser Bestes, um sicherzustellen, dass die Produkte, die Sie bestellen in voller Höhe an Sie geliefert und nach Ihren Vorgaben. Sie sollten jedoch eine unvollständige Reihenfolge oder Elemente unterscheiden sich von denen erhalten Sie bestellten, oder es einen anderen Grund, warum Sie nicht zufrieden mit der Bestellung sind, können Sie den Auftrag zurück oder irgendwelche Produkte in der Reihenfolge enthalten, und erhalten ein volle Rückerstattung für die Einzelteile.
Bestimmte Produkte bei Fruugo gekauft wurden, können nicht zurückgeschickt werden. Sie fallen in den folgenden Kategorien:
- Waren, die eindeutig auf die persönlichen oder nach Ihren Spezifikationen
- Waren, die schnell verderben haften, zB frisches Obst, frische Blumen
- Versiegelte Ware, die für die Rückkehr aus Gründen des Gesundheitsschutzes oder aus hygienischen Gründen, wenn geöffnet ist nicht geeignet, zum Beispiel bilden, Unterwäsche, durchbohrte Schmuck
- Versiegelte Audio- oder Videoaufzeichnungen oder Software, wenn geöffnet
- Zeitungen, Zeitschriften und Magazine
Bitte nehmen Sie angemessene Sorgfalt der Ware während in Ihrer Obhut. Alle Waren zurück in einem resaleable Zustand sein. Sie müssen angebracht mit ursprünglichen Umbauten ungetragen / unbenutzt und in Originalverpackung. Es liegt in Ihrer Verantwortung sicherzustellen, dass die Ware in angemessen sie beschädigt sind nicht im Gegenzug Transit, um sicherzustellen, verpackt.
Die notifizierenden uns eine Rückkehr
Wenn Sie eine Bestellung zurückgeben, oder einige der Produkte in einem Auftrag enthalten sind, teilen Sie uns bitte innerhalb von 14 Tagen nach Erhalt der Ware, einschließlich der folgenden Informationen:
- dein Name,
- Bestellnummer,
- Die Artikel, die Sie zurückkehren, und
- Optional ein Grund für Ihre Rückkehr: unzufrieden mit Einzelteil, Artikel entsprach nicht Beschreibung, beschädigten Artikel, falschen Einzelteil, oder aus einem anderen Grunde.
Unser Kundenbetreuungsteam sendet Ihnen spezifische Anweisungen, wie Rückholpakete an Einzelhändler zu versenden. Bitte benutzen Sie nicht die Rückkehr Paket versenden, bevor Sie die Anweisungen zu erhalten.
Versandprodukte zurück Einzelhändler
Die Ware muss unverzüglich und auf jeden Fall nicht später als 14 Tage zurückgebracht werden, nachdem uns der Stornierung informiert.
Wenn Sie Produkte an mehrere Händler zurückbringen, sollten Sie die Produkte entsprechend verteilen und die Produkte an diesen Händler senden, die sie zunächst an Sie verschickt.
Wir empfehlen dringend, dass Sie Einschreiben verwenden (und versichern alle hochwertigen Pakete), da weder wir noch der Händler die Verantwortung für Sendungen übernehmen, die während des Rücktransportes verloren gehen oder beschädigt werden.
Bitte stellen Sie sicher, einen Nachweis über den Versand Empfang so in dem unwahrscheinlichen Fall, behalten Ihr Paket verloren geht, haben Sie Beweis Sie es geschickt.
Rückerstattungen
Sie werden innerhalb von 14 Tagen nach dem Händler erstattet Erhalt der Ware zurück. Wir werden Sie per E-Mail benachrichtigt, sobald die Produkte an den Händler und akzeptiert für die Rückkehr zu erreichen. Wo ein Einzelhändler angeboten hat, die Ware zu sammeln, erhalten Sie innerhalb von 14 Tagen nach der Kündigung Ihres Vertrags zurückerstattet.
Es sei denn, ein Produkt oder Produkte Sie angekommen zurückkehren möchten Ihnen oder fehlerhafte beschädigt, sind Sie für die Rücktransportkosten verantwortlich.
Sofern Sie alle Produkte von einem bestimmten Händler zurückkommen, werden wir die Standard-Versandkosten erstatten Sie für die ursprüngliche Lieferung bezahlt. Wenn Sie eine Nicht-Standard-Lieferung zu bezahlen gewählt haben, erstatten wir nur die Kosten für unsere am wenigsten teuer, Standardauslieferung.
Beschädigte oder fehlerhafte Waren
Wenn Sie ein beschädigtes, defektes oder mangelhaftes Produkt erhalten, mit uns bitte so bald wie möglich mitteilen. Zumindest die folgenden Informationen:
- dein Name,
- Bestellnummer,
- Name des beschädigten Produkt (e) und
- Die Art des Schadens mit angebautem Foto angeben
Wir werden in der Regel weisen Sie das beschädigte Produkt an den Händler zurück zu versenden. Sobald es an den Händler erreicht, werden sie Ihnen ein Ersatzprodukt schicken. Wenn der Ersatz nicht gemacht werden kann, oder wenn Sie die Bestellung stornieren möchten, müssen Sie in voller Höhe erstattet. Sie werden auch für angemessene Renditen Portokosten für beschädigte oder fehlerhafte Ware zurückerstattet, sobald wir Ihre Porto Eingang erhalten haben. Wenn die äußere Verpackung Ihrer Bestellung deutlich bei der Ankunft beschädigt ist, und Sie den Verdacht, dass die Produkte auch beschädigt sind, können Sie entweder die Lieferung ablehnen oder die Ware übernehmen und für sie unterzeichnen als beschädigt. In beiden Fällen uns bitte so bald wie möglich mit.
Verweigern Lieferung
Wenn Sie sich weigern, Lieferung aller oder eines Teils Ihrer Bestellung zu akzeptieren (wo die Produkte oder Verpackungen nicht beschädigt werden oder defekt erscheinen) werden Sie für die Portokosten verantwortlich. Alle Gebühren und Abgaben durch den Händler entstehen aufgrund eines Pakets verweigert wird von Ihrer Ware Rückerstattung abgezogen.