Obálkyknih.cz - Jihočeská vědecká knihovna v Českých Budějovicích

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

Název:		Concurrent Systems: Formal Development in Csp (The Mcgraw-Hill International Series in Software Engineering)
Autor:
Rok vydání:		1995
Identifikátory:		9780077076498

Upravte stávající anotaci nebo vložte anotaci novou.
Anotace:	Offering an up-to-date and practical treatment of concurrent systems, this is a practical reference manual and convenient introduction for students and practitioners using and implementing the formal specification language CSP in the specification and verification of complex, real-time and distributed systems.
	Souhlasím s využitím anotace pro potřeby projektu obálkyknih.cz. Obsah neporušuje autorská práva.(povinné)