Hybrid parallel execution model for logic-based specification languages

Hybrid parallel execution model for logic-based specification languages / Jeffrey J.P. Tsai, Bing Li.

Saved in:
Bibliographic Details
Superior document:Series on software engineering and knowledge engineering ; v. 10
:
ProQuest (Firm)
Tsai, Jeffrey J.-P.
TeilnehmendeR:
Li, Bing, 1960-
ProQuest (Firm)
Year of Publication:2001
Language:English
Series:Series on software engineering and knowledge engineering ; v. 10.
Online Access:
Physical Description:xii, 214 p. :; ill.
Tags: Add Tag
No Tags, Be the first to tag this record!
LEADER 01477nam a2200373Ia 4500
001 5001679598
003 MiAaPQ
005 20200520144314.0
006 m o d |
007 cr cn|||||||||
008 011101s2001 si a sb 001 0 eng d
020 |z 9789810240967 
020 |z 9810240961 
035 |a (MiAaPQ)5001679598 
035 |a (Au-PeEL)EBL1679598 
035 |a (CaPaEBR)ebr10255649 
035 |a (CaONFJC)MIL505472 
035 |a (OCoLC)879023835 
040 |a MiAaPQ  |c MiAaPQ  |d MiAaPQ 
050 4 |a TK7885.7  |b .T72 2001 
100 1 |a Tsai, Jeffrey J.-P. 
245 1 0 |a Hybrid parallel execution model for logic-based specification languages  |h [electronic resource] /  |c Jeffrey J.P. Tsai, Bing Li. 
260 |a Singapore ;  |a New Jersey :  |b World Scientific,  |c c2001. 
300 |a xii, 214 p. :  |b ill. 
490 1 |a Series on software engineering and knowledge engineering ;  |v v. 10 
504 |a Includes bibliographical references and index. 
533 |a Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. 
650 0 |a Computer hardware description languages. 
650 0 |a System design. 
655 4 |a Electronic books. 
700 1 |a Li, Bing,  |d 1960- 
710 2 |a ProQuest (Firm) 
830 0 |a Series on software engineering and knowledge engineering ;  |v v. 10. 
856 4 0 |u https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=1679598  |z Click to View 

Similar Items