• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

10% studentrabatt med kod TERM26

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Programmeringsböcker

      Concurrency, Compositionality, and Correctness

      Essays in Honor of Willem-Paul de Roever

      AvMartin Steffen,Ulrich Hannemann

      E-bok
      PDF, Engelska, 2010

      732 kr

      Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

      Beskrivning

      Why would you read this preface? As we start thinking what to write here, we wonder who is going to read these words. Fromourperspective–thatofwritersaddressinganaudienceofreaders–you are most likely Willem-Paul de Roever. Willem: our main motivation in putting together this Festschrift is to honor you on the occasion of your retirement. In terms of scienti?c ancestry, you are a father to two of us, and a grandfather to 1 the third , and you have had a profound impact on our formation as computer scientists.Atthepersonallevel,weknowyouasakind-hearted,generousperson. We are grateful to know you in these ways, and hope to have encounters with you in many years to come. AnotherlikelypossibilityisthatyouareCorinneorJojanneke,wifeordau- ter of Willem; the two strong pillars on which so much in his life is founded. You share the honor,respect, and love that went into the writing, as will be ackno- edged by those contributing authors that know you – which are almost all. Also, we would like to thank you for your help in sending us photographs for inclusion in this book, and for your encouragement. The next option is that you are one of the contributing authors. In this case you may wonder why it took us so long to get this work published. After all, wasn’tit“almostdone”alreadyattheretirementeventinJuly2008?Theanswer is twofold: we gave everyone ample time to revise their submissions in line with the recommendations by the referees; and we ourselves took ample time to put everything together. Our hope is that this will be visible in the quality of the ?nal result.

      Produktinformation

      • Utgivningsdatum:2010-02-12
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783642115127
      • Förlag:Springer Berlin Heidelberg

      Utforska kategorier

      • Programmeringsböcker inom Data och IT
      • Programvaruutveckling inom Data och IT
      • Systemvetenskap och AI inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Dennis Dams, Ulrich Hannemann, Martin Steffen - Concurrency, Compositionality, and Correctness, Häftad

      Concurrency, Compositionality, and Correctness

      Dennis Dams, Ulrich Hannemann, Martin Steffen

      Häftad, 2010

      566 kr

      Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek - Theoretical and Practical Aspects of SPIN Model Checking, Häftad

      Theoretical and Practical Aspects of SPIN Model Checking

      Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek

      Häftad, 1999

      566 kr

      Ulrich Hannemann - ZARATHUSTRA, Häftad

      ZARATHUSTRA

      Ulrich Hannemann

      Häftad, 2022

      346 kr

      Mieke Massinek, Stefan Leue, Robert Gerth, Dennis Dams - Theoretical and Practical Aspects of SPIN Model Checking, E-bok

      Theoretical and Practical Aspects of SPIN Model Checking

      Mieke Massinek, Stefan Leue, Robert Gerth, Dennis Dams

      E-bok
      2003

      732 kr

      Ana Cavalcanti, Dennis Dams - FM 2009: Formal Methods, Häftad

      FM 2009: Formal Methods

      Ana Cavalcanti, Dennis Dams

      Häftad, 2009

      1 124 kr

      Dennis Dams, Ana Cavalcanti - FM 2009: Formal Methods, E-bok

      FM 2009: Formal Methods

      Dennis Dams, Ana Cavalcanti

      E-bok
      2009

      1 455 kr

      Michael Jochim, Dieter Rehmann, Matthias Sellmann, Martin Steffen - Hat die Rede von Gott noch Zukunft?, Inbunden

      Hat die Rede von Gott noch Zukunft?

      Michael Jochim, Dieter Rehmann, Matthias Sellmann, Martin Steffen

      Inbunden, 2024

      276 kr

      Martin Steffen, Javier Camara - Software Engineering and Formal Methods, E-bok

      Software Engineering and Formal Methods

      Martin Steffen, Javier Camara

      E-bok
      2020

      975 kr

      Jan Arne Telle, Martin Steffen, Olaf Owe - Fundamentals of Computation Theory, E-bok

      Fundamentals of Computation Theory

      Jan Arne Telle, Martin Steffen, Olaf Owe

      E-bok
      2011

      710 kr

      Gianluigi Zavattaro, Martin Steffen - Formal Methods for Open Object-Based Distributed Systems, E-bok

      Formal Methods for Open Object-Based Distributed Systems

      Gianluigi Zavattaro, Martin Steffen

      E-bok
      2005

      732 kr