Normal view MARC view ISBD view

Hybrid parallel execution model for logic-based specification languages

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. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.

ISBN:

Subjects--Topical Terms:
Computer hardware description languages.
System design.

Index Terms--Genre/Form:
Electronic books.

LC Class. No.: TK7885.7 / .T72 2001

Print
Add to your cart (remove)
Suggest for purchase
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)