• 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

Upp till 20% på populära nyheter →

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 @ 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. Naturvetenskap och teknik
      2. Matematik och naturvetenskap
      3. Matematik
      4. Matematikens grunder

      Programmverifikation

      Sequentielle, parallele und verteilte Programme

      AvErnst-Rudiger Olderog,Krzysztof R. Apt

      E-bok
      PDF, Tyska, 2013

      316 kr

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

      Produktinformation

      • Utgivningsdatum:2013-03-07
      • Språk:Tyska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783642579479
      • Förlag:Springer Berlin Heidelberg

      Utforska kategorier

      • Matematikens grunder inom Naturvetenskap och teknik
      • Hårdvara inom Data och IT
      • Programmeringsböcker inom Data och IT
      Hoppa över listan

      Mer från samma författare

      Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog - Verification of Sequential and Concurrent Programs, Häftad

      Verification of Sequential and Concurrent Programs

      Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog

      Häftad, 2012

      906 kr

      Ernst-Rudiger Olderog, Krzysztof R. Apt - Verification of Sequential and Concurrent Programs, E-bok

      Verification of Sequential and Concurrent Programs

      Ernst-Rudiger Olderog, Krzysztof R. Apt

      E-bok
      2013

      1 174 kr

      Krzysztof R. Apt, Ernst-Rüdiger Olderog - Verification of Sequential and Concurrent Programs, Övrigt

      Verification of Sequential and Concurrent Programs

      Krzysztof R. Apt, Ernst-Rüdiger Olderog

      665 kr

      Ernst-Rudiger Olderog, Krzysztof R. Apt - Verification of Sequential and Concurrent Programs, E-bok

      Verification of Sequential and Concurrent Programs

      Ernst-Rudiger Olderog, Krzysztof R. Apt

      E-bok
      2013

      1 170 kr

      Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog - Verification of Sequential and Concurrent Programs, Inbunden

      Verification of Sequential and Concurrent Programs

      Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog

      Inbunden, 2009

      1 131 kr

      Ernst-Rudiger Olderog, Frank S. de Boer, Krzysztof R. Apt - Verification of Sequential and Concurrent Programs, E-bok

      Verification of Sequential and Concurrent Programs

      Ernst-Rudiger Olderog, Frank S. de Boer, Krzysztof R. Apt

      E-bok
      2009

      1 138 kr

      Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi - Model Checking, Synthesis, and Learning, Häftad
      Del 13030

      Model Checking, Synthesis, and Learning

      Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi

      Häftad, 2021

      738 kr

      Wang Yi, Bernhard Steffen, Ernst-Rudiger Olderog - Model Checking, Synthesis, and Learning, E-bok

      Model Checking, Synthesis, and Learning

      Wang Yi, Bernhard Steffen, Ernst-Rudiger Olderog

      E-bok
      2021

      903 kr

      Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog - Provably Correct Systems, Inbunden

      Provably Correct Systems

      Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog

      Inbunden, 2017

      1 127 kr

      Ernst-Rudiger Olderog, Jonathan P. Bowen, Mike Hinchey - Provably Correct Systems, E-bok

      Provably Correct Systems

      Ernst-Rudiger Olderog, Jonathan P. Bowen, Mike Hinchey

      E-bok
      2017

      1 455 kr

      Hoppa över listan

      Du kanske också är intresserad av

      Ernst-Rudiger Olderog, Frank S. de Boer, Krzysztof R. Apt - Verification of Sequential and Concurrent Programs, E-bok

      Verification of Sequential and Concurrent Programs

      Ernst-Rudiger Olderog, Frank S. de Boer, Krzysztof R. Apt

      E-bok
      2009

      1 138 kr

      Ernst-Rudiger Olderog, Krzysztof R. Apt - Verification of Sequential and Concurrent Programs, E-bok

      Verification of Sequential and Concurrent Programs

      Ernst-Rudiger Olderog, Krzysztof R. Apt

      E-bok
      2013

      1 170 kr

      Ernst-Rudiger Olderog, Krzysztof R. Apt - Verification of Sequential and Concurrent Programs, E-bok

      Verification of Sequential and Concurrent Programs

      Ernst-Rudiger Olderog, Krzysztof R. Apt

      E-bok
      2013

      1 174 kr

      Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog - Verification of Sequential and Concurrent Programs, Häftad

      Verification of Sequential and Concurrent Programs

      Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog

      Häftad, 2012

      906 kr

      Krzysztof R. Apt, Ernst-Rüdiger Olderog - Verification of Sequential and Concurrent Programs, Övrigt

      Verification of Sequential and Concurrent Programs

      Krzysztof R. Apt, Ernst-Rüdiger Olderog

      665 kr

      Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog - Verification of Sequential and Concurrent Programs, Inbunden

      Verification of Sequential and Concurrent Programs

      Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog

      Inbunden, 2009

      1 131 kr

      Krzysztof R. Apt, Ernst-Rüdiger Olderog - Programmverifikation, Häftad

      Programmverifikation

      Krzysztof R. Apt, Ernst-Rüdiger Olderog

      Häftad, 1994

      311 kr

      Wang Yi, Bernhard Steffen, Ernst-Rudiger Olderog - Model Checking, Synthesis, and Learning, E-bok

      Model Checking, Synthesis, and Learning

      Wang Yi, Bernhard Steffen, Ernst-Rudiger Olderog

      E-bok
      2021

      903 kr

      Ernst-Rudiger Olderog, Jonathan P. Bowen, Mike Hinchey - Provably Correct Systems, E-bok

      Provably Correct Systems

      Ernst-Rudiger Olderog, Jonathan P. Bowen, Mike Hinchey

      E-bok
      2017

      1 455 kr

      Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog - Provably Correct Systems, Inbunden

      Provably Correct Systems

      Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog

      Inbunden, 2017

      1 127 kr