Kies zelf een bedrag tussen 10,00 € en 250,00 €. Je ontvangt de boekenbon als pdf per mail zodra je betaling bevestigd is.
€
Kies een bedrag in hele euro's tussen 10,00 € en 250,00 €.
Wetenschappen | Andere wetenschappen
Principles of Concurrent and Distributed Programming
Ben-Ari M.
99,00 €
Niet op voorraad bij Salvator, wel bestelbaar
Omschrijving
From a winner of the ACM/SIGCSE Award, this introduction to concurrency takes into account the importance of concurrency constructs in programming languages and of formal methods such as model checking. It focuses on algorithmic principles, and the use of the Spin model checker for modeling concurrent systems and verifying program correctness.
Wij gebruiken cookies om het functioneren van onze website te bevorderen. Ook om uw ervaring te verbeteren gebruiken wij cookies om uw instellingen te bewaren, statistieken op te volgen, de functionaliteit te optimaliseren en de inhoud af te stemmen op uw voorkeuren.
Klik op Alle cookies accepteren om alle cookies te accepteren en door te gaan naar de website. Je kan ook cookies wijzigen of niet accepteren door op Alles afwijzen of Cookie-instellingen te klikken. Voor meer informatie omtrent de cookies die wij gebruiken, bekijkt u best onze Cookie en Privacy Policy.
Wanneer u een website bezoekt, kan er informatie in uw browser worden opgeslagen of eruit worden opgehaald, voornamelijk in de vorm van cookies. Deze informatie kan over u, uw voorkeuren of uw apparaat zijn en wordt voornamelijk gebruikt om de website correct te laten werken. De informatie identificeert u normaal gesproken niet direct, maar kan u een beter op uw voorkeuren toegesneden surfervaring geven. Omdat we uw recht op privacy respecteren, kunt u er voor kiezen sommige soorten cookies te blokkeren. Klik op de namen voor de verschillende categorieën voor meer informatie en om onze standaardinstellingen te wijzigen. Weest u zich er echter wel van bewust dat het blokkeren van sommige soorten cookies uw ervaring van de website en de door ons aangeboden diensten nadelig kan beïnvloeden.
Deze cookies zijn nodig om de website te gebruiken en kunnen daarom niet uitgeschakeld worden. Voorbeelden hiervan zijn het instellen van jouw privacy voorkeuren, inloggen met jouw account of een formulier invullen. Je kan deze cookies eventueel via jouw browser zelf blokkeren, maar dan zal de website mogelijk niet meer werken zoals verwacht. Deze cookies slaan geen persoonlijk identificeerbare informatie op.
Deze cookies stellen de website in staat om extra functies en persoonlijke instellingen aan te bieden. Ze kunnen door ons worden ingesteld of door externe aanbieders van diensten die we op onze pagina’s hebben geplaatst. Als je deze cookies niet toestaat, kunnen deze of sommige van deze diensten wellicht niet correct werken.
Deze cookies helpen ons om statistieken over bezoekers te verzamelen en het gebruik van de website te analyseren. Ze helpen ons te begrijpen welke pagina’s het meest en minst populair zijn en hoe bezoekers door de website navigeren. Alle informatie die deze cookies verzamelen wordt opgeteld over bezoekers heen en is daarom anoniem.
Deze cookies worden door advertentiepartners op onze website ingesteld om een profiel van jouw interesses op te stellen. Zo kunnen onze partners jouw relevante advertenties op andere websites tonen. Deze cookies slaan geen rechtstreeks persoonlijke informatie op zoals jouw naam of e-mail en zijn gebaseerd op willekeurige identificatienummers op basis van jouw browser. Als je deze cookies niet toestaat, zullen advertenties van De Lijn niet aangepast worden aan jouw interesses.
