Cart 0
Hybrid Parallel Execution Model For Logic-based Specification Languages

Hybrid Parallel Execution Model For Logic-based Specification Languages

Bing Li

Format: Print Book

ISBN: 9789810240967

Tax included.
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: Hardcover
No of Pages: 228
Imprint: World Scientific
Publication date: 20010705
Series: Series On Software Engineering And Knowledge Engineering




We Also Recommend

Blockchain And Smart Contracts: Design Thinking And Programming For Fintech

Blockchain And Smart Contracts: Design Thinking And Programming For Fintech

Save SGD 12.26
Patent Portfolio Deployment: Bridging The R&d, Patent And Product Markets

Patent Portfolio Deployment: Bridging The R&d, Patent And Product Markets

Save SGD 45.78
"Gina Says": Adventures In The Blogosphere String War

"Gina Says": Adventures In The Blogosphere String War
"Golden" Non-euclidean Geometry, The: Hilbert's Fourth Problem, "Golden" Dynamical Systems, And The Fine-structure Constant

"Golden" Non-euclidean Geometry, The: Hilbert's Fourth Problem, "Golden" Dynamical Systems, And The Fine-structure Constant
"I Am The Smartest Man I Know": A Nobel Laureate's Difficult Journey

"I Am The Smartest Man I Know": A Nobel Laureate's Difficult Journey