Hybrid Parallel Execution Model for Logic-Based Specification Languages

en Limba Engleză Hardback – 5 iul 2001

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.

Citește tot Restrânge