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

Wojciech Penczek; Agata Pólrola
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2006)
Kovakantinen kirja

129,90 €

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

Wojciech Penczek; Andrzej Szalas
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1996)
Pehmeäkantinen kirja

97,90 €

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

Wojciech Penczek; Agata Pólrola
Springer (2010)
Pehmeäkantinen kirja

129,90 €

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

Johan Lilius; Wojciech Penczek
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Pehmeäkantinen kirja

49,60 €

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
Springer International Publishing AG (2016)
Kovakantinen kirja

97,90 €

TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY XII

Maciej Koutny; Jetty Kleijn; Wojciech Penczek; Mingmin Zhang
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2017)
Pehmeäkantinen kirja

49,60 €

TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY XIII

Maciej Koutny; Lars Michael Kristensen; Wojciech Penczek
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2018)
Pehmeäkantinen kirja

49,60 €

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
Springer International Publishing AG (2018)
Pehmeäkantinen kirja

97,90 €

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

Wojciech Penczek, Agata Pólrola

129,90 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 257 sivua
Asu: Kovakantinen kirja
Painos: 2006
Julkaisuvuosi: 2006, 26.06.2006 (lisätietoa)
Kieli: Englanti
Tuotesarja: Studies in Computational Intelligence 20

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 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus