Projekt Obalkyknih.cz

oprava existující anotace, přidání nové anotace




Název:

Modeling and verification of parallel processes : 4th summer school, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures

Autor:

Rok vydání:

2001

Identifikátory:

9783540427872

Upravte stávající anotaci nebo vložte anotaci novou.
Souhlasím s využitím anotace pro potřeby projektu obálkyknih.cz. Obsah neporušuje autorská práva.(povinné)







© 2013-2026 Obálkyknih.cz - Jihočeská vědecká knihovna v Českých Budějovicích, admin@obalkyknih.cz