Hybrid parallel execution model for logic-based specification languages

Enregistré dans:

Détails bibliographiques
Auteur principal:	Tsai, Jeffrey J.-P
Collectivité auteur:	ebrary, Inc
Autres auteurs:	Li, Bing, 1960-
Format:	Électronique eBook
Langue:	anglais
Publié:	Singapore ; New Jersey : World Scientific, c2001.
Collection:	Series on software engineering and knowledge engineering ; v. 10.
Sujets:	Computer hardware description languages. System design. Electronic books.
Accès en ligne:	An electronic book accessible through the World Wide Web; click to view
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

MARC


LEADER	00000nam a2200000Ia 4500
001	0000103386
005	20171002055356.0
006	m u
007	cr cn\|\|\|\|\|\|\|\|\|
008	011101s2001 si a sb 001 0 eng d
020			\|z 9789810240967
020			\|z 9810240961
035			\|a (CaPaEBR)ebr10255649
035			\|a (OCoLC)261340165
040			\|a CaPaEBR \|c CaPaEBR
050	1	4	\|a TK7885.7 \|b .T72 2001eb
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. \|b Palo Alto, Calif. : \|c ebrary, \|d 2011. \|n Available via World Wide Web. \|n Access may be limited to ebrary affiliated libraries.
650		0	\|a Computer hardware description languages.
650		0	\|a System design.
655		7	\|a Electronic books. \|2 local
700	1		\|a Li, Bing, \|d 1960-
710	2		\|a ebrary, Inc.
830		0	\|a Series on software engineering and knowledge engineering ; \|v v. 10.
856	4	0	\|u http://site.ebrary.com/lib/daystar/Doc?id=10255649 \|z An electronic book accessible through the World Wide Web; click to view
908			\|a 170314
942	0	0	\|c EB
999			\|c 92538 \|d 92538