Hybrid Parallel Execution Model For Logic-based Specification Languages e-bog
403,64 DKK
(inkl. moms 504,55 DKK)
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 ...
E-bog
403,64 DKK
Forlag
World Scientific
Udgivet
2 juli 2001
Længde
228 sider
Genrer
Health and safety in the workplace
Sprog
English
Format
pdf
Beskyttelse
LCP
ISBN
9789814494199
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.