Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Hybrid Parallel Execution Model For Logic-based Specification Languages, PDF eBook

Hybrid Parallel Execution Model For Logic-based Specification Languages PDF

Part of the Series On Software Engineering And Knowledge Engineering series

PDF

Please note: eBooks can only be purchased with a UK issued credit card and all our eBooks (ePub and PDF) are DRM protected.

Description

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.

Information

Information

Also in the Series On Software Engineering And Knowledge Engineering series  |  View all