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

Publication Info.	Singapore ; New Jersey : World Scientific, [2001]
	©2001

Online access
Online eBook. Access restricted to current Rider University students, faculty, and staff.
Instructions for reading/downloading this eBook

Item Status

Description	1 online resource (xii, 214 pages) : illustrations.
Physical Medium	polychrome
Description	text file
Series	Series on software engineering and knowledge engineering ; v. 10
	Series on software engineering and knowledge engineering ; v. 10.
Bibliography	Includes bibliographical references and index.
Summary	Parallel processing is a very important technique for improving the performance of various software development and maintenance activities. The purpose of this book is to introduce important techniques for parallel executation of high-level specifications of software systems. These techniques are very useful for the construction, analysis, and transformation of reliable large-scale and complex software systems. Contents: Current Approaches; Overview of the New Approach; FRORL Requirements Specification Language and Its Decomposition; Rewriting and Data Dependency, Control Flow Analysis of a Lo.
Local Note	eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America
Subject	Computer hardware description languages.
	Computer hardware description languages.
	System design.
	System design.
Genre/Form	Electronic books.
Added Author	Li, Bing, 1960-
Other Form:	Print version: Tsai, Jeffrey J.-P. Hybrid parallel execution model for logic-based specification languages. Singapore ; New Jersey : World Scientific, ©2001 9810240961 9789810240967 (DLC) 2002275781 (OCoLC)48251272
ISBN	9789812797964 (electronic book)
	9812797963 (electronic book)
	9789810240967
	9810240961