Catalog > Social Sciences > Economy > Li Bing Li & Tsai Jeffrey J P Tsai: Hybrid Parallel Execution Model For Logic-based Specification Languages (PDF)

Li Bing Li & Tsai Jeffrey J P Tsai
Hybrid Parallel Execution Model For Logic-based Specification Languages [PDF ebook]

Support

Cover of Li Bing Li & Tsai Jeffrey J P Tsai: Hybrid Parallel Execution Model For Logic-based Specification Languages (PDF)

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.

€59.06

Buy this ebook and get 1 more FREE!

Language English ● Format PDF ● Pages 228 ● ISBN 9789814494199 ● Publisher World Scientific Publishing Company ● Published 2001 ● Downloadable 3 times ● Currency EUR ● ID 7969493 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Li Bing Li Tsai Jeffrey J. P. Tsai

256,872 Ebooks in this category

Cover of Arturo Bris: The Right Place

Arturo Bris: The Right Place

The Right Place explains why firms succeed in one country and fail in another, irrespective of their inner drivers, and suggests potential initiatives that governments can take to help the private se …

Cover of Peter (University of Surrey, UK) Alcott & Bernard (Author passed away, waiting for documentation SF01852776) Davis: Food and Beverage Management

Peter (University of Surrey, UK) Alcott & Bernard (Author passed away, waiting for documentation SF01852776) Davis: Food and Beverage Management

This introductory textbook provides a thorough guide to the management of food and beverage outlets, from their day-to-day running through to the wider concerns of the hospitality industry. It explor …

Cover of Doramas Jorge-Calderon: Aviation Investment

Doramas Jorge-Calderon: Aviation Investment

Aviation Investment uniquely addresses investment appraisal methods across the key industries that make up the aviation sector, including the airports, air traffic management, airline and aircraft ma …

Cover of Morten Albaek: One Life

Morten Albaek: One Life

Never before in history have so many humans suffered from depression, anxiety, and stress. The World Health Organization estimates that more than 300 million people struggle with depression – equival …

Cover of Stephen P. (University of Kentucky, USA) Borgatti & Daniel J. (University of Kentucky, USA) Brass: Social Networks at Work

Stephen P. (University of Kentucky, USA) Borgatti & Daniel J. (University of Kentucky, USA) Brass: Social Networks at Work

Social Networks at Work provides the latest thinking, from top-notch experts, on social networks as they apply to industrial and organizational (I/O) psychology. Each chapter provides an in-depth rev …

Cover of Mike Bourne & Pippa Bourne: Creating an Effective Public Sector

Mike Bourne & Pippa Bourne: Creating an Effective Public Sector

This book offers an in-depth look at developing effectiveness in the public sector and how to achieve the best possible outcomes for people rather than just good or efficient outputs. In 15 comprehen …

Cover of Dennis Mark: Future of Work

Dennis Mark: Future of Work

In the new world of work, old jobs are being disrupted or eliminated just as new ones are being invented that never existed before. On top of that, professionals are not only changing jobs, but even …

Cover of Lidia Diappi: Evolving Cities

Lidia Diappi: Evolving Cities

Geocomputation has come of age. The whirlwind of change experienced in Geographical Information Science (GIS) – developments in IT, and new data gathering and earth observing technologies – has taken …

Cover of Aravin Prince (Technical University of Liberec, Czech Republic) Periyasamy & Michal (Associate Professor, Department of Material Science, Technical University of Liberec, Czech Republic) Vik: Chromic Materials

Aravin Prince (Technical University of Liberec, Czech Republic) Periyasamy & Michal (Associate Professor, Department of Material Science, Technical University of Liberec, Czech Republic) Vik: Chromic Materials

This informative volume reflects the state of art in the science of color-changeable materials and provides an abundance of in-depth knowledge about the field of colorimetry. The book describes the f …

Cover of Roger Gruneisen: Medical Clinics and Practices

Roger Gruneisen: Medical Clinics and Practices

A hospital can be a private or public sector building where patients are admitted for acute treatment. On the other hand, a clinic is a hub of healthcare activity and a place where care providers int …