| Hybrid Parallel Execution Model for Logic-Based Specification Languages Contributor(s): Li, Bing (Author), Tsai, Jeffrey J. P. (Author) |
|
 |
ISBN: 9810240961 ISBN-13: 9789810240967 Publisher: World Scientific Publishing Company OUR PRICE: $131.10 Product Type: Hardcover Published: July 2001 Annotation: 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. |
| Additional Information |
| BISAC Categories: - Computers | Programming - Parallel - Computers | Software Development & Engineering - General - Medical |
| Dewey: 621.392 |
| LCCN: 2002275781 |
| Series: Software Engineering and Knowledge Engineering |
| Physical Information: 1.34" H x 6.04" W x 8.57" (1.04 lbs) 228 pages |