• 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. Naturvetenskap och teknik
      2. Matematik och naturvetenskap
      3. Matematik

      Advances in Verification of Time Petri Nets and Timed Automata

      A Temporal Logic Approach

      AvAgata Polrola,Wojciech Penczek

      E-bok
      PDF, Engelska, 2007

      2 044 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:2007-03-06
      • Språk:Engelska
      • Filformat:PDF
      • Kopieringsskydd:LCP
      • ISBN:9783540328704
      • Förlag:Springer Berlin Heidelberg

      Utforska kategorier

      • Matematik inom Naturvetenskap och teknik
      • Teknik: allmänt inom Naturvetenskap och teknik
      • Artificiell intelligens inom Data och IT
      Hoppa över listan

      Mer från samma författare

      Wojciech Penczek, Agata Pólrola - Advances in Verification of Time Petri Nets and Timed Automata, Inbunden
      Del 20

      Advances in Verification of Time Petri Nets and Timed Automata

      Wojciech Penczek, Agata Pólrola

      Inbunden, 2006

      1 634 kr

      Wojciech Penczek, Agata Pólrola - Advances in Verification of Time Petri Nets and Timed Automata, Häftad
      Del 20

      Advances in Verification of Time Petri Nets and Timed Automata

      Wojciech Penczek, Agata Pólrola

      Häftad, 2010

      1 634 kr

      Hoppa över listan

      Du kanske också är intresserad av

      Wojciech Penczek, Agata Pólrola - Advances in Verification of Time Petri Nets and Timed Automata, Inbunden
      Del 20

      Advances in Verification of Time Petri Nets and Timed Automata

      Wojciech Penczek, Agata Pólrola

      Inbunden, 2006

      1 634 kr

      Wojciech Penczek, Agata Pólrola - Advances in Verification of Time Petri Nets and Timed Automata, Häftad
      Del 20

      Advances in Verification of Time Petri Nets and Timed Automata

      Wojciech Penczek, Agata Pólrola

      Häftad, 2010

      1 634 kr

      Wojciech Penczek, Lars Michael Kristensen, Maciej Koutny - Transactions on Petri Nets and Other Models of Concurrency XIII, E-bok

      Transactions on Petri Nets and Other Models of Concurrency XIII

      Wojciech Penczek, Lars Michael Kristensen, Maciej Koutny

      E-bok
      2018

      710 kr

      Johan Lilius, Wojciech Penczek - Applications and Theory of Petri Nets, Häftad

      Applications and Theory of Petri Nets

      Johan Lilius, Wojciech Penczek

      Häftad, 2010

      566 kr

      Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang - Transactions on Petri Nets and Other Models of Concurrency XII, Häftad

      Transactions on Petri Nets and Other Models of Concurrency XII

      Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang

      Häftad, 2017

      566 kr

      Wojciech Penczek, Andrzej Szalas - Mathematical Foundations of Computer Science 1996, Häftad

      Mathematical Foundations of Computer Science 1996

      Wojciech Penczek, Andrzej Szalas

      Häftad, 1996

      1 124 kr

      Guy de Trė, Przemysław Grzegorzewski, Janusz Kacprzyk, Jan W. Owsiński, Wojciech Penczek, Sławomir Zadrożny - Challenging Problems and Solutions in Intelligent Systems, Inbunden

      Challenging Problems and Solutions in Intelligent Systems

      Guy de Trė, Przemysław Grzegorzewski, Janusz Kacprzyk, Jan W. Owsiński, Wojciech Penczek, Sławomir Zadrożny

      Inbunden, 2016

      1 124 kr

      Mingmin Zhang, Wojciech Penczek, Jetty Kleijn, Maciej Koutny - Transactions on Petri Nets and Other Models of Concurrency XII, E-bok

      Transactions on Petri Nets and Other Models of Concurrency XII

      Mingmin Zhang, Wojciech Penczek, Jetty Kleijn, Maciej Koutny

      E-bok
      2017

      732 kr

      Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek - Transactions on Petri Nets and Other Models of Concurrency XIII, Häftad

      Transactions on Petri Nets and Other Models of Concurrency XIII

      Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek

      Häftad, 2018

      549 kr

      Guy de Trė, Przemysław Grzegorzewski, Janusz Kacprzyk, Jan W. Owsiński, Wojciech Penczek, Sławomir Zadrożny - Challenging Problems and Solutions in Intelligent Systems, Häftad

      Challenging Problems and Solutions in Intelligent Systems

      Guy de Trė, Przemysław Grzegorzewski, Janusz Kacprzyk, Jan W. Owsiński, Wojciech Penczek, Sławomir Zadrożny

      Häftad, 2018

      1 124 kr