Hybrid Parallel Execution Model for Logic-Based Specification Languages - Bing Li,Jeffrey J P Tsai
-20% with code BOOKS
30-day return policy
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 syst ... Full description
Description
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.
More Information
| Author | Bing Li, Jeffrey J P Tsai |
|---|---|
| Publisher | World Scientific Publishing Company |
| Release year | 2001 |
| Cover type | Hardcover |
| EAN | 9789810240967 |