Projekt Obalkyknih.cz

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




Název:

Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings (Lecture Notes in Computer Science)

Autor:

Rok vydání:

1996

Identifikátory:

9783540614746

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