Advances in Verification of Time Petri Nets and Timed Automata: a Temporal Logic Approach - Studies in Computational Intelligence - Wojciech Penczek - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783642069420 - torstai 25. marraskuuta 2010
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Wojciech Penczek
Advances in Verification of Time Petri Nets and Timed Automata: a Temporal Logic Approach - Studies in Computational Intelligence 1st Ed. Softcover of Orig. Ed. 2006 edition

Hinta
R$ 976,69

Tilattu etävarastosta

Arvioitu toimitus ke - to 10. - 18. joulu
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

Löytyy myös muodossa:

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.

257 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä torstai 25. marraskuuta 2010
ISBN13 9783642069420
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 257
Mitta 156 × 234 × 15 mm   ·   412 g
Kieli Englanti  
Näytä kaikki

Lisää tuotteita Wojciech Penczek

Katso kaikki joka sisältää Wojciech Penczek ( Esim. Paperback Book Ja Hardcover Book )