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:		Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science)
Autor:
Rok vydání:		1982
Identifikátory:		9783540112105

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