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:		Cafe Obj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification (Amast Series in Computing)
Autor:
Rok vydání:		1998
Identifikátory:		9789810235130

Upravte stávající anotaci nebo vložte anotaci novou.
Anotace:	CafeOBJ is an industrial-strength modern algebraic specification language. This book presents not only a formal definition of the language and its semantics, but also methodologies for specification and verification in CafeOBJ, with emphasis on concurrent object composition and modularity.
	Souhlasím s využitím anotace pro potřeby projektu obálkyknih.cz. Obsah neporušuje autorská práva.(povinné)