Produktbild för Modelling Distributed Systems (inbunden, eng)
Gäller medlemspriset
Black Week
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Modelling Distributed Systems (inbunden, eng)

Gästpris:
Ditt pris:
207 kr
259 kr
Du sparar 52 kr
52 kr rabatt med Plus!
Bra val!

Bli Plus-medlem så handlar du till våra inköpspriser och får unika erbjudanden! De första 14 dagarna är gratis och därefter kostar medlemskapet 99 kr per månad.

Rabatten aktiveras automatiskt när du lägger produkten i varukorgen. Därefter kan du handla till nätets lägsta priser och njuta av fri frakt på hela vårt sortiment.

Medlemspriser aktiverade

Du handlar nu till våra lägsta priser. Din totala rabatt ser du i varukorgen när du checkar ut.

Prisförklaring

Gästpris 259 kr

Gästpriset är det pris man betalar för denna vara som icke-medlem.

Medlemspris 207 kr

Med Buyersclub Plus kan du köpa denna och över 400 000 produkter i sortimentet till våra egna inköpspriser.

Som medlem betalar man en månadsavgift från 69 kr vilket gör att vi kan ta bort hela produktmarginalen och istället erbjuda dig världens billigaste shopping med lägsta prisgaranti.

Läs mer och bli medlem

Vad innebär Buyersclub Plus?

Handla till våra inköpspriser

Som medlem handlar du över 400 000 produkter till våra egna inköpspriser – vilket innebär att du får tillgång till några av världens lägsta priser på hela vårt sortiment.

Lägst prisgaranti på allt!

Vårt löfte till dig som medlem är lägst prisgaranti på hela sortimentet. Hittar du en produkt billigare hos en annan återförsäljare efter att du handlat hos oss, får du tillbaka mellanskillnaden.

Gratisprodukter

Lägg till en utvald produkt för 0 kronor från vår gratisavdelning, helt utan minsta köpkrav. Du kan hämta en gratisprodukt varje månad.

Se månadens produkter

Vinn presentkort varje vecka

Delta i vårt veckovisa quiz och tävla om en prispott på 20 000 kronor som delas mellan vinnarna. Som medlem får du tre livbojar varje månad, och en extra varje gång du handlar – vilket ökar dina chanser att vinna!

Hur blir man medlem?

Buyersclub Plus kan tecknas från 69 kronor i månaden.

Börja spara pengar nu!

Endast 2 kvar, skickas inom 4 - 5 vardagar

Välj antal

Gå till kassan

Vad innebär detta?

Lägsta prisgaranti för medlemmar

Bli Plus-medlem idag så får du lägsta prisgaranti på den här produkten och köper den till världens lägsta pris. Om du köper den av oss som Plus-medlem och sedan upptäcker att den finns till ett lägre pris hos annan återförsäljare inom 90 dagar, återbetalar vi mellanskillnaden till dig i form av ett presentkort.

Läs mer om hur du nyttjar prisgarantin

  • Inköpspriser för medlemmar (Logga in)
  • Frakt från 0 kr
  • 14 dagars öppet köp

This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. The author employs µCRL as the vehicle, a language developed to combine process algebra and abstract data types.

The book evolved from introductory courses on protocol verification taught to undergraduate and graduate students of computer science, and the text is supported throughout with examples and exercises. Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author''s website.




Format Inbunden
Omfång 154 sidor
Språk Engelska
Förlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Utgivningsdatum 2007-09-26
ISBN 9783540739371

Artikelnummer

3322711

EAN

9783540739371

Leverans:

Denna produkt skickas från oss inom 4 - 5 vardagar. I kassan väljer du om du vill få leverans med Budbee, Airmee, Best Transport, Early Bird, Postnord eller DB Schenker. Vissa speditörer har vikt- eller storleksbegränsningar och kan av den anledningen saknas som alternativ i kassan om du handlar många eller väldigt stora produkter.

Fri retur:

För Plus-medlemmar gäller fri retur och 14 dagars full returrätt från den dagen du tar emot din leverans. För övriga kostar retur från 49 kr.

Undantag för retur- och ångerrätt:

Dessa är exempel på varor som inte omfattas av retur- eller ångerrätt. Observera att det kan finnas andra undantag som inte listas här.
  • Använda, skadade och/eller inkompletta produkter
  • Dagligvaror (livsmedel, läkemedel, nikotinprodukter)
  • Hygienartiklar & kroppsnära produkter (rakapparater, in ear-hörlurar, aktivitetsklockor)
  • Intimprodukter (menskoppar, kondomer och glidmedel)
  • Kosmetikprodukter (inkl. hår- och hudvårdsprodukter, parfymer, etc.)
  • Underkläder (inkl. badkläder, underställ och strumpor)
  • Ljud- & bildupptagningar, spel/program (om förseglingen brutits eller licensnyckeln erhållits.)
  • Teknikprodukter om försegling brutits eller programvara har installerats (mobiltelefoner, surfplattor, laptops, etc.)
  • Gratisprodukter
Om du är osäker på om en produkt omfattas av ångerrätt kan du alltid kontakta vår kundtjänst på info@buyersclub.se, så hjälper vi dig gärna!

Leveranser:

  • airmee
  • early bird
  • db schenker
  • budbee
  • postnord

Relaterade produkter