Hybrid parallel execution model for logic-based specification languages
Auteur :
Tsai, Jeffrey J.P.
Éditeur :
Tsai, Jeffrey J.P.Li, Bing,Bing Li,
ISBN :
9789810240967
Date de publication :
5 juil. 2001
Dimensions :
23,0 x 15,3 x 3,4 cm
Poids :
472 g
Langue :
Anglais
Pays d'origine :
Singapour
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.