• 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
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel och pussel

Skapa nya rutiner – hälsoböcker upp till 50% →

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
    • 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

    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

    542 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

    537 kr

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

    Faithful Disobedience

    Wang Yi, J. D. Tseng, Hannah Nation

    E-bok
    2022

    276 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

    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

    395 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

    894 kr