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 - 9783540328698 - maanantai 26. kesäkuuta 2006
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 2006 edition

Hinta
Íkr 22.075,90

Tilattu etävarastosta

Arvioitu toimitus to - pe 11. - 19. 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.

257 pages, biography

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä maanantai 26. kesäkuuta 2006
ISBN13 9783540328698
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 257
Mitta 210 × 297 × 17 mm   ·   585 g
Kieli Englanti  
Näytä kaikki

Lisää tuotteita Wojciech Penczek

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