KOZEN ,D.C.

AUTOMATE AND COMPUTABILITY - NEW YORK Springer 2002 - xii+400p.,24x18Cms.

3-540-78105-6

511.3 K75