Tsai, Jeffrey J.-P.
Hybrid parallel execution model for logic-based specification languages [electronic resource] / Jeffrey J.P. Tsai, Bing Li. - Singapore ; New Jersey : World Scientific, c2001. - xii, 214 p. : ill. - Series on software engineering and knowledge engineering ; v. 10 . - Series on software engineering and knowledge engineering ; v. 10. .
Includes bibliographical references and index.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2011.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Computer hardware description languages.
System design.
Electronic books.
TK7885.7 / .T72 2001eb
Hybrid parallel execution model for logic-based specification languages [electronic resource] / Jeffrey J.P. Tsai, Bing Li. - Singapore ; New Jersey : World Scientific, c2001. - xii, 214 p. : ill. - Series on software engineering and knowledge engineering ; v. 10 . - Series on software engineering and knowledge engineering ; v. 10. .
Includes bibliographical references and index.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2011.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Computer hardware description languages.
System design.
Electronic books.
TK7885.7 / .T72 2001eb