LEADER 00000cam a2200625Ia 4500 
001    ocn261340165 
003    OCoLC 
005    20160527041115.1 
006    m     o  d         
007    cr cnu---unuuu 
008    081009s2001    si a    ob    001 0 eng d 
019    505150563|a646768525|a764500397|a879023835 
020    9789812797964|q(electronic book) 
020    9812797963|q(electronic book) 
020    |z9789810240967 
020    |z9810240961 
035    (OCoLC)261340165|z(OCoLC)505150563|z(OCoLC)646768525
       |z(OCoLC)764500397|z(OCoLC)879023835 
040    N$T|beng|epn|cN$T|dOCLCQ|dUBY|dE7B|dOCLCQ|dIDEBK|dOCLCO
       |dOCLCF|dNLGGC|dYDXCP|dMHW|dEBLCP|dOCLCQ 
049    RIDW 
050  4 TK7885.7|b.T73 2001eb 
072  7 COM|x037000|2bisacsh 
072  7 COM|x059000|2bisacsh 
072  7 COM|x067000|2bisacsh 
082 04 621.39/2|222 
090    TK7885.7|b.T73 2001eb 
100 1  Tsai, Jeffrey J.-P.|0https://id.loc.gov/authorities/names/
       n94052195 
245 10 Hybrid parallel execution model for logic-based 
       specification languages /|cJeffrey J.P. Tsai, Bing Li. 
264  1 Singapore ;|aNew Jersey :|bWorld Scientific,|c[2001] 
264  4 |c©2001 
300    1 online resource (xii, 214 pages) :|billustrations. 
336    text|btxt|2rdacontent 
337    computer|bc|2rdamedia 
338    online resource|bcr|2rdacarrier 
340    |gpolychrome|2rdacc 
347    text file|2rdaft 
490 1  Series on software engineering and knowledge engineering ;
       |vv. 10 
504    Includes bibliographical references and index. 
520    Parallel processing is a very important technique for 
       improving the performance of various software development 
       and maintenance activities. The purpose of this book is to
       introduce important techniques for parallel executation of
       high-level specifications of software systems. These 
       techniques are very useful for the construction, analysis,
       and transformation of reliable large-scale and complex 
       software systems. Contents: Current Approaches; Overview 
       of the New Approach; FRORL Requirements Specification 
       Language and Its Decomposition; Rewriting and Data 
       Dependency, Control Flow Analysis of a Lo. 
588 0  Print version record. 
590    eBooks on EBSCOhost|bEBSCO eBook Subscription Academic 
       Collection - North America 
650  0 Computer hardware description languages.|0https://
       id.loc.gov/authorities/subjects/sh87005550 
650  0 System design.|0https://id.loc.gov/authorities/subjects/
       sh85131736 
650  7 Computer hardware description languages.|2fast|0https://
       id.worldcat.org/fast/872153 
650  7 System design.|2fast|0https://id.worldcat.org/fast/1141401
655  4 Electronic books. 
700 1  Li, Bing,|d1960-|0https://id.loc.gov/authorities/names/
       n94077755 
776 08 |iPrint version:|aTsai, Jeffrey J.-P.|tHybrid parallel 
       execution model for logic-based specification languages.
       |dSingapore ; New Jersey : World Scientific, ©2001
       |z9810240961|z9789810240967|w(DLC)  2002275781
       |w(OCoLC)48251272 
830  0 Series on software engineering and knowledge engineering ;
       |0https://id.loc.gov/authorities/names/no94016832|vv. 10. 
856 40 |uhttps://rider.idm.oclc.org/login?url=http://
       search.ebscohost.com/login.aspx?direct=true&scope=site&
       db=nlebk&AN=235932|zOnline eBook. Access restricted to 
       current Rider University students, faculty, and staff. 
856 42 |3Instructions for reading/downloading this eBook|uhttp://
       guides.rider.edu/ebooks/ebsco 
901    MARCIVE 20231220 
948    |d201606016|cEBSCO|tebscoebooksacademic|lridw 
994    92|bRID