Akademibokhandeln

Agata Pólrola – författare

Visar alla böcker från författaren Agata Pólrola.

2 produkter

  1. Wojciech Penczek, Agata Pólrola - Advances in Verification of Time Petri Nets and Timed Automata, Inbunden. Tillgänglighet: Lägg i varukorg

    Advances in Verification of Time Petri Nets and Timed Automata

    A Temporal Logic Approach

    Av Wojciech Penczek, Agata Pólrola

    Inbunden, 2006

    2139 kr

    Lägg i varukorg

  2. Wojciech Penczek, Agata Pólrola - Advances in Verification of Time Petri Nets and Timed Automata, Häftad. Tillgänglighet: Lägg i varukorg

    Advances in Verification of Time Petri Nets and Timed Automata

    A Temporal Logic Approach

    Av Wojciech Penczek, Agata Pólrola

    Häftad, 2010

    2139 kr

    Lägg i varukorg