Hybrid Parallel Execution Model For Logic-based Specification Languages

READABOOK BY ALKEM Verified independent store

→

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.Format: HardcoverNo of Pages: 228Imprint: World ScientificPublication date: 20010705Series: Series On Software Engineering And Knowledge Engineering Show more