Coloured Petri Nets : Modelling and Validation of Concurrent Systems /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Jensen, Kurt (autor)
Další autoři: Kristensen, Lars M. (autor) (autor)
Médium: Kniha
Jazyk:angličtina
Vydáno: Berlín, Alemania : Springer, 2009, c2009
Témata:
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Informace o exemplářích z: IT1
Signatura:
511. 5 JEN
Ejemplar 0500250422
Disponible
Préstamo 7 días a 90
Sbírka:
Colección General
Poznámky:
Ubicar en Nivel 1 Área de Colección General