Advances in Verification of Time Petri Nets and Timed Automata

číslo produktu:115929

rezervuj

Advances in Verification of Time Petri Nets and Timed Automata

Penczek

Rok vydania: 2006

Vydavateľ: Springer

Kniha je momentálne nedostupná.

V prípade dlhodobého záujmu si urobte REZERVÁCIU a my vám odložíme žiadaný kus.

Podrobnosti o titule (výrobné údaje):

Vydavateľstvo: Springer

Rok vydania: 2006

ISBN: 978-3-540-32869-8

(9783540328698)

Väzba: tvrdá