Hybrid parallel execution model for logic-based specification languages /

Bibliographic Details

Main Author:	Tsai, Jeffrey J.-P
Other Authors:	Li, Bing, 1960-
Format:	Book
Language:	English
Published:	Singapore ; New Jersey : World Scientific, [2001]
Series:	Series on software engineering and knowledge engineering ; vol. 10.
Subjects:	Computer hardware description languages. System design.