Projekt Obalkyknih.cz

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




Název:

Modeling in Event-B : system and software engineering

Autor:

Jean-Raymond Abrial

Rok vydání:

2010

Identifikátory:

9780521895569 (DE-599)GBV617737274

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-2024 Obálkyknih.cz - Jihočeská vědecká knihovna v Českých Budějovicích, admin@obalkyknih.cz