Om samtidig programmering

749,00 kr
Kvantitet
749,00 kr I lager Skickas inom 4 dagar
+ 93,99 kr STANDARD:
Säljs av: PBShop

1 Inledning. - 1. 1 Samtidiga program. - 1. 2 Kommunikation och synkronisering. - 1. 3 Förstå samtidiga program. - 1. 4 En förhandsgranskning. - Historiska anmärkningar för kapitel 1. - Övningar för kapitel 1. - 2 Formell logik. - 2. 1 Formella logiska system. - 2. 2 Satslogik. - 2. 3 En predikatlogik. - 2. 4 Säkerhet och livlighet på nytt. - Historiska anmärkningar för kapitel 2. - Övningar för kapitel 2. - 3 Temporal logik. - 3. 1 Informell förhandsgranskning. - 3. 2 Syntax och betydelse av formler. - 3. 3 Axiom och inferensregler. - 3. 4 Temporala logiktillämpningar. - 3. 5 Om modal logik. - Historiska anmärkningar för kapitel 3. - Övningar för kapitel 3. - 4 Notation och logik för sekventiell programmering. - 4. 1 Notation för sekventiella program. - 4. 2 Resonemang om programtillstånd. - 4. 3 Logik för beviskonturer. - 4. 4 Tilldelning till sammansatta variabler. - 4. 5 En predikattransformator. - Historiska anmärkningar till kapitel 4. - Övningar för kapitel 4. - 5 Samtidighet och störningar. - 5. 1 Ange samtidighet. - 5. 2 Kontrollpredikataxiomen. - 5. 3 Frihet att ingripa. - 5. 4 Dölja kontrollpredikat i härledda termer. - 5. 5 Synkront ändrade och delade påståenden. - 5. 6 Ange synkronisering. - 5. 7 Synkronisering och störningar. - Historiska anmärkningar för kapitel 5. - Övningar för kapitel 5. - 6 Säkerhetsegenskaper: Invarians. - 6. 1 Egenskaper för invarians. - 6. 2 Verifiera invariansegenskaper. - 6. 3 Uteslutning av konfigurationer. - 6. 4 Direkt användning av beviskonturer. - 6. 5 Utveckla program för invariansegenskaper. - Historiska anmärkningar till kapitel 6. - Övningar för kapitel 6. - 7 Säkerhetsegenskaper med tidigare villkor. - 7. 1 Historiska säkerhetsegenskaper. - 7. 2 Tidigare tillägg till predikatlogik. - 7. 3 Verifiering av historiska säkerhetsegenskaper. - 7. 4 Utveckling av program för historiska säkerhetsfastigheter. - 7. 5 hjälpvariabler. - 7. 6 Några varningar. - Historiska anmärkningar till kapitel 7. - Övningar för kapitel 7. - 8 Verifiera godtyckliga temporala logiska egenskaper. - 8. 1 S-temporal logik reviderad. - 8. 2 Om inte egenskaper och derivat. - 8. 3 Antaganden om rättvisa. - 8. 4 Resonemang utifrån antaganden om rättvisa. - 8. 5 hjälpsamma åtgärder och eventualiteter. - 8. 6 Livlighet för ömsesidig uteslutning. - Historiska anmärkningar till kapitel 8. - Övningar för kapitel 8. - 9 Programmering med finkorniga atomära åtgärder. - 9. 1 Låtsas vara atomicitet. - 9. 2 Översättningsoberoende resonemang. - 9. 3 Implementera villkorssynkronisering. - 9. 4 Programmering med delmängden. - 9. 5 Synkronisering och störningar ses över. - 9. 6 Instruktioner för förregling. - 9. 7 Exempel: Synkronisering av barriärer. - Historiska anmärkningar till kapitel 9. - Övningar för kapitel 9. - 10 semaforer, lås och villkorliga kritiska områden. - 10. 1 semaforer. - 10. 2 Ändring av variabel för att använda semaforer. - 10. 3 binära semaforer och lås. - 10. 4 Delad binär semaformetod. - 10. 5 villkorade kritiska regioner. - Historiska anmärkningar till kapitel 10. - Övningar för kapitel 10. - 11 Meddelandeförmedling och distribuerad programmering. - 11. 1 Asynkron meddelandeöverföring. - 11. 2 Synkron meddelandeöverföring. - 11. 3 Härledning av distribuerade program. - 11. 4 representationer med delade variabler. - Historiska anmärkningar till kapitel 11. - Övningar för kapitel 11. - 12 Att sätta ihop det. - 12. 1 Om språk. - 12. 2 Principer för verifiering av säkerhets- och livlighetsegenskaper. - 12. 3 Bevis ökar bara förtroendet. - 12. 4 A Verktyg och applikationer. - Historiska anmärkningar till kapitel 12. -Referenser. Språk: Engelska

varumärke Unbranded
Artist Fred B. Schneider
Format Pocketbok
Publiceringsdatum 2012/09/30
Förläggare / Bolag Springer
Språk Engelska
Serienummer 337908804-741568302
ISBN 9781461273035
93,99 kr STANDARD: Beräknat leveransdatum ons 01 juli 2026mån 06 juli 2026

Produkten levereras från Storbritannien.

Alternativa transportsätt kan väljas i kassan.

Produkterna levereras av de enskilda Fruugo återförsäljare, som befinner sig i Europa och resten av världen. De leveranstider och fraktpriser varierar beroende på återförsäljare läge, destinationslandet och den valda leveransmetod.

Fruugo erbjuder två leveransalternativ: Standard Delivery eller Express Delivery. Alla återförsäljare erbjuder en standard leveransservice, och vissa återförsäljare erbjuder även en express leveransservice.

  • Standard Delivery - Domestic Standard Delivery tar cirka 2-5 arbetsdagar från avsändandet, medan en International Standard Delivery tar 5-14 arbetsdagar från avsändandet. spåra normalt och spår och leveransbevis är inte tillgängliga på en standardtjänst.
  • Express Delivery - Domestic Express Delivery tar cirka 1-2 arbetsdagar från avsändandet, medan en International Express Delivery tar 3-7 arbetsdagar från avsändandet. Vanligtvis spåra och / eller leveransbevis finns på en expresstjänst.

Även Fruugo återförsäljare strävar efter att leverera inom dessa tidsramar, observera att ovanstående tidsramar beräknas och inte garanteras.

Leveranstidsramar inkluderar inte någon tullklare gånger utanför Fruugo kontroll.

Låt ytterligare sändningstid för leveranser till exceptionella platser som är svåra att nå, och även under rusningstid som jul.

Alla operatörer att leverera under normal arbetstid och kan kräva en signatur på kvittot, så se till att din beställning levereras till en adress där någon kommer att finnas tillgängliga för att ta emot den.

Vi gör vårt bästa för att se till att de produkter som du beställer levereras till dig i sin helhet och enligt dina specifikationer. Du bör dock få en ofullständig order, eller objekt som skiljer sig från de som du beställt, eller om det finns någon annan anledning till varför du inte är nöjd med beställningen kan du tillbaka ordern eller produkter som ingår i ordningen, och få en full återbetalning för objekten.

Vissa produkter som köps på Fruugo kan inte returneras. De faller i följande kategorier:

  • varor som är tydligt är anpassningsbara eller görs efter dina önskemål
  • varor som riskerar att försämras snabbt, t ex färsk frukt, färska blommor
  • Förseglade varor som inte lämpar sig för återgång till följd av hälsoskydd eller hygieniska skäl, om den öppnas, t.ex. smink, underkläder, genomborrade smycken
  • Förseglade ljud- eller bildinspelningar eller datorprogram, om den öppnas
  • tidningar, tidskrifter och tidningar

Ta rimlig hand om varorna medan i din vård. Alla varor tillbaka måste vara i ett försäljningsbart skick. De måste vara oanvända / oanvända med original märker fäst och i originalförpackning. Det är ditt ansvar att se till att varorna förpackas på lämpligt att säkerställa att de inte är skadade i gengäld transit.

meddela oss om en återgång

Om du vill returnera en order, eller en del av de produkter som ingår i en order, vänligen meddela oss inom 14 dagar efter mottagandet av varorna, bland annat följande information:

  • ditt namn,
  • ordernummer,
  • De objekt som du vill återvända, och
  • Eventuellt en anledning till din avkastning: missnöjd med objekt, objekt matchade inte beskrivningen, skadade objekt, fla objektet, eller någon annan orsak.

Till vår kundtjänst skickar specifika instruktioner om hur du skickar returförpackningar till återförsäljare dig. Skicka inte skicka returpaketet innan du får instruktionerna.

Frakt produkter tillbaka till detaljister

Varorna måste returneras utan dröjsmål och under alla omständigheter senast 14 dagar efter att ha meddelat oss om din uppsägning.

Om du återvänder produkter till flera återförsäljare, bör du distribuera produkterna detta och skicka produkterna till de återförsäljare som levererade dem till dig från början.

Vi rekommenderar starkt att du använder rekommenderat brev (och försäkra alla högt värde paket), eftersom varken vi eller återförsäljaren ta ansvar för transporter som går förlorade eller skadats under returtransport.

Se till att du behåller ett bevis på porto kvitto så i den osannolika händelsen ditt paket försvinner, kommer du att ha bevis du skickade det.

återbetalningar

Du kommer att återbetalas inom 14 dagar från återförsäljare som får tillbaka varorna. Vi kommer att meddela dig via e-post när produkterna når återförsäljare och accepteras för retur. När en återförsäljare har erbjudit sig att hämta varorna, kommer du att återbetalas inom 14 dagar från att avbryta ditt kontrakt.

Om inte en produkt eller produkter som du vill återvända kommit till dig skadad eller felaktig, är du ansvarig för kostnaderna retur transportkostnader.

Förutsatt att du återvänder alla produkter från en viss återförsäljare kommer vi att återbetala de vanliga fraktkostnader du har betalat för den ursprungliga leveransen. Om du väljer att betala för en icke-standardleverans, kommer vi endast att återbetala kostnaden för vår billigaste, standard leverans.

Skadade eller felaktiga varor

Om du får en skadad, bruten eller defekt produkt, vänligen meddela oss så snart som möjligt. Innehålla åtminstone följande information:

  • ditt namn,
  • ordernummer,
  • Namnet på den skadade produkt (er), och
  • Ange typ av skada med bifogade fotografiet

Vi kommer i allmänhet att instruera dig att skicka den skadade produkten tillbaka till återförsäljaren. Så snart den når återförsäljare, kommer de att skicka dig en ersättningsprodukt. Om det inte kan göras på ersättning, eller om du vill annullera ordern, du kommer att återbetalas i sin helhet. Du kommer också att ersättning för skäliga avkastning portokostnader för skadade eller felaktiga varor när vi har fått din porto kvitto. Om den yttre förpackningen av din beställning är tydligt skadad vid ankomsten, och du misstänka att produkterna är skadade liksom, kan du antingen avslå leveransen eller acceptera varorna och registrera dem som skadats. I båda fallen, vänligen meddela oss så snart som möjligt.

avvisar leveransen

Om du vägrar att acceptera leverans av hela eller delar av din beställning (där produkter eller förpackningar inte verkar vara skadad eller defekt) kommer du att ansvara för portokostnader. Eventuella avgifter och avgifter av återförsäljaren till följd av ett paket vägras kommer att dras från dina varor återbetalning.