Wojciech Penczek | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 8 tuotetta
Haluatko tarkentaa hakukriteerejä?

ADVANCES IN VERIFICATION OF TIME PETRI NETS AND TIMED AUTOMATA : A TEMPORAL LOGIC APPROACH

Tekijä: Wojciech Penczek; Agata Pólrola
Kustantaja: Springer (2010)
Saatavuus: Noin 17-20 arkipäivää

EUR 129,90

ADVANCES IN VERIFICATION OF TIME PETRI NETS AND TIMED AUTOMATA - A TEMPORAL LOGIC APPROACH

Tekijä: Wojciech Penczek; Agata Pólrola
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2006)
Saatavuus: Noin 17-20 arkipäivää

EUR 129,90

MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1996 : 21ST INTERNATIONAL SYMPOSIUM, MFCS' 96, CRAKOW, POLAND, SEPTEMBER 2 - 6, 199

Tekijä: Wojciech Penczek (ed.); Andrzej Szalas (ed.)
Kustantaja: Springer (1996)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

CHALLENGING PROBLEMS AND SOLUTIONS IN INTELLIGENT SYSTEMS

Tekijä: Guy de Trė; Przemysław Grzegorzewski; Janusz Kacprzyk; Jan W. Owsiński; Wojciech Penczek; Sławomir Zadrożny
Kustantaja: Springer International Publishing AG (2016)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY XII

Tekijä: Maciej Koutny; Jetty Kleijn; Wojciech Penczek; Mingmin Zhang
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2017)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY XIII

Tekijä: Maciej Koutny; Lars Michael Kristensen; Wojciech Penczek
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2018)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

CHALLENGING PROBLEMS AND SOLUTIONS IN INTELLIGENT SYSTEMS

Tekijä: Guy de Trė; Przemysław Grzegorzewski; Janusz Kacprzyk; Jan W. Owsiński; Wojciech Penczek; Sławomir Zadrożny
Kustantaja: Springer International Publishing AG (2018)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

APPLICATIONS AND THEORY OF PETRI NETS : 31ST INTERNATIONAL CONFERENCE, PETRI NETS 2010, BRAGA, PORTUGAL, JUNE 21-25, 2010, PROCE

Tekijä: Johan Lilius (ed.); Wojciech Penczek (ed.)
Kustantaja: Springer (2010)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

Advances in Verification of Time Petri Nets and Timed Automata : A Temporal Logic Approach

Wojciech Penczek, Agata Pólrola

129,90 €

Springer
Sivumäärä: 257 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2010, 25.11.2010 (lisätietoa)
Kieli: Englanti

This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä

Myymäläsaatavuus