• 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. Data och IT
      2. Programmeringsböcker

      Formal Modeling and Analysis of Timed Systems

      Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

      AvWang Yi,Paul Pettersson

      E-bok
      PDF, Engelska, 2005

      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).

      Produktinformation

      • Utgivningsdatum:2005-11-29
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783540316169
      • 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

      Paul Pettersson, Wang Yi - Formal Modeling and Analysis of Timed Systems, Häftad

      Formal Modeling and Analysis of Timed Systems

      Paul Pettersson, Wang Yi

      Häftad, 2005

      549 kr

      Elena Fersman, Paul Pettersson, Athanasios Karapantelakis, Christina Chaccour - Confessions of an AI Brain, Häftad
      • Nyhet

      Confessions of an AI Brain

      Elena Fersman, Paul Pettersson, Athanasios Karapantelakis, Christina Chaccour

      Häftad, 2026

      403 kr

      Anders Ödman, Eva Hjärthner-Holdar, Annika Willim, Svante Forenius, Lena Grandin, Paul Pettersson - Skånskt järn, Häftad
      Del 100

      Skånskt järn

      Anders Ödman, Eva Hjärthner-Holdar, Annika Willim, Svante Forenius, Lena Grandin, Paul Pettersson

      Häftad, 2014

      209 kr

      Xuandong Li, Zhiming Liu, Wang Yi - Dependable Software Engineering: Theories, Tools, and Applications, Häftad
      Del 9409

      Dependable Software Engineering: Theories, Tools, and Applications

      Xuandong Li, Zhiming Liu, Wang Yi

      Häftad, 2015

      544 kr

      Wang Yi, J. D. Tseng, Hannah Nation - Faithful Disobedience, E-bok

      Faithful Disobedience

      Wang Yi, J. D. Tseng, Hannah Nation

      E-bok
      2022

      277 kr

      Paul Pettersson - Kollektive Gefährdungslagen im Asylrecht, Häftad
      Del 26

      Kollektive Gefährdungslagen im Asylrecht

      Paul Pettersson

      Häftad, 2023

      1 246 kr

      Wang Yi, Zhiming Liu, Xuandong Li - Dependable Software Engineering: Theories, Tools, and Applications, E-bok

      Dependable Software Engineering: Theories, Tools, and Applications

      Wang Yi, Zhiming Liu, Xuandong Li

      E-bok
      2015

      650 kr

      Bernhard Steffen, Paul Pettersson, Susanne Graf - Real Time and Such, E-bok

      Real Time and Such

      Bernhard Steffen, Paul Pettersson, Susanne Graf

      E-bok
      2024

      813 kr

      Tiziana Margaria, Wang Yi - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

      Tools and Algorithms for the Construction and Analysis of Systems

      Tiziana Margaria, Wang Yi

      Häftad, 2001

      1 124 kr

      Athanasios Karapantelakis, Paul Pettersson, Elena Fersman - Confessions of an AI Brain, E-bok

      Confessions of an AI Brain

      Athanasios Karapantelakis, Paul Pettersson, Elena Fersman

      E-bok
      2023

      399 kr