Process Algebra: Equational Theories of Communicating Processes

1 649,00 kr
+ 97,99 kr Leverans

Process Algebra: Equational Theories of Communicating Processes

Säljs av:
  • product image

1 649,00 kr

I lager
+ 97,99 kr Leverans

14-dagars returpolicy

Köparskydd

Eller välj ett paket

Betalningsmetoder:

  • Märke: Unbranded
Produktinformation

Produktinformation

Process Algebra: Equational Theories of Communicating Processes

Process algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software systems. This book sets the standard for the field. It assembles the relevant results of most process algebras currently in use and presents them in a unified framework and notation. The authors describe the theory underlying the development realization and maintenance of software that occurs in parallel or distributed systems. A system can be specified in the syntax provided and the axioms can be used to verify that a composed system has the required external behaviour. As examples two protocols are completely specified and verified in the text: the Alternating-Bit Protocol for Data Communication and Fischer's Protocol of Mutual Exclusion. The book serves as a reference text for researchers and graduate students in computer science offering a complete overview of the field and referring to further literature where appropriate. Language: English
  • Märke: Unbranded
  • Kategori: Datorer & Internet
  • Artist: J. C. M. Baeten
  • Format: Hardback
  • Publiceringsdatum: 2009/12/16
  • Sidantal: 476
  • Förläggare / Bolag: Cambridge University Press
  • Språk: English
  • Fruugo-ID: 337996092-741656904
  • ISBN: 9780521820493
Löfte

Säljarens garanti

2 års lagstadgad garanti ingår

Dina EU-konsumenträttigheter inkluderar en kostnadsfri minst 2-årig lagstadgad garanti

Ladda ner lagstadgad garanti för överensstämmelse
Leverans

Leverans

Skickas inom 5 dagar

  • STANDARD: 156,24 kr - Leverans mellan kl fre 27 november 2026–ons 02 december 2026

Leverans från Storbritannien.

Returer

Returer och avbokningar

Returer

Vi gör vårt bästa för att säkerställa att produkterna du beställer levereras kompletta och enligt dina specifikationer. Om du däremot skulle ta emot en ofullständig beställning, eller andra artiklar än de du beställt, eller om det finns någon annan anledning till att du inte är nöjd med din beställning, kan du returnera beställningen, eller valfria produkter som ingår i beställningen, och få fullständig ersättning för artiklarna.

Visa fullständig returpolicy

Avbokningar

Du har rätt att ångra ditt köp inom 14 dagar från att du mottagit din beställning utan att ange någon anledning. För att enkelt utöva din rätt kan du använda länken "Avbryt min beställning" i sidfoten på varje sida eller i ditt Fruugo-konto under "Beställningar". När du har utnyttjat din ångerrätt skickar vi dig en e-postbekräftelse. Om din beställning redan har skickats av återförsäljaren kommer vi att förse dig med nödvändiga returinstruktioner för att säkerställa att din återbetalning behandlas snabbt.

Visa fullständig avbokningspolicy