000 01375nam a2200325Ia 4500
001 ebr10255649
003 CaPaEBR
007 cr cn|||||||||
008 011101s2001 si a sb 001 0 eng d
020 _z9789810240967
020 _z9810240961
040 _aCaPaEBR
_cCaPaEBR
035 _a(OCoLC)646768525
050 1 4 _aTK7885.7
_b.T72 2001eb
100 1 _aTsai, Jeffrey J.-P.
245 1 0 _aHybrid parallel execution model for logic-based specification languages
_h[electronic resource] /
_cJeffrey J.P. Tsai, Bing Li.
260 _aSingapore ;
_aNew Jersey :
_bWorld Scientific,
_cc2001.
300 _axii, 214 p. :
_bill.
490 1 _aSeries on software engineering and knowledge engineering ;
_vv. 10
504 _aIncludes bibliographical references and index.
533 _aElectronic reproduction.
_bPalo Alto, Calif. :
_cebrary,
_d2011.
_nAvailable via World Wide Web.
_nAccess may be limited to ebrary affiliated libraries.
650 0 _aComputer hardware description languages.
650 0 _aSystem design.
655 7 _aElectronic books.
_2local
700 1 _aLi, Bing,
_d1960-
710 2 _aebrary, Inc.
830 0 _aSeries on software engineering and knowledge engineering ;
_vv. 10.
856 4 0 _uhttp://site.ebrary.com/lib/kliuc/Doc?id=10255649
_zAn electronic book accessible through the World Wide Web; click to view
999 _c37388
_d37388