Hybrid Parallel Execution Model For Logic-based Specification Languages (Software Engineering and Knowledge Engineering, Band 10) - Hardcover

Tsai, Jeffrey J.P.; Li, Bing; Bing Li (University Of Illinois, Chicago, USA)

 
9789810240967: Hybrid Parallel Execution Model For Logic-based Specification Languages (Software Engineering and Knowledge Engineering, Band 10)

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.