Hybrid Parallel Execution Model for Logic-Based Specification Languages: 10 - Rilegato

Tsai, Jeffrey J. P.; Li, Bing

 
9789810240967: Hybrid Parallel Execution Model for Logic-Based Specification Languages: 10

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.