000			00505nam a2200157Ia 4500
999			_c9814 _d9814
008			161214s9999 xx 000 0 und d
020			_a9812389652 _chbk
082			_a004 _bPAU
100			_aPaun, Gheorghe
245		0	_aCurrent Trends in Theoretical Computer Science : The Challenge of the New Century. Volume 2
260			_aNew Jersey: _bWorld Scientific, _c2004
300			_axiii, 627 p.; _b2 v. : ill.: _c24 cm.
365			_aINR _b9167.40
520			_aThis book is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS) during the period 2000-2003. It presents many of the most active current research lines in theoretical computer science. The material appears in two volumes, "Algorithms and Complexity" and "Formal Models and Semantics", reflecting the traditional division of the field. The list of contributors includes many of the well-known researchers in theoretical computer science. Most of the articles are reader-friendly and do not presuppose much knowledge of the are.
650			_aFormal specification
650			_aConcurrency
650			_aLogic
650			_aLanguage theory
700			_aRozenberg, Grzegorz
942			_2ddc _cBK