Amazon.com: Hybrid Parallel Execution Model for Logic-Based Specification Languages (9789810240967): Jeffrey J. P. Tsai, Bing Li: Books


or
Sign in to turn on 1-Click ordering.
or
Amazon Prime Free Trial required. Sign up when you check out. Learn More
More Buying Choices
Have one to sell? Sell yours here
Hybrid Parallel Execution Model for Logic-Based Specification Languages
 
 
Tell the Publisher!
I'd like to read this book on Kindle

Don't have a Kindle? Get your Kindle here, or download a FREE Kindle Reading App.

Hybrid Parallel Execution Model for Logic-Based Specification Languages [Hardcover]

Jeffrey J. P. Tsai (Author), Bing Li (Author)

Price: $130.00 & this item ships for FREE with Super Saver Shipping. Details
o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o
In Stock.
Ships from and sold by Amazon.com. Gift-wrap available.
Only 1 left in stock--order soon (more on the way).
Want it delivered Tuesday, February 28? Choose One-Day Shipping at checkout. Details

Book Description

July 15, 2001 Software Engineering and Knowledge Engineering (Book 10)
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.

Product Details


More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews


There are no customer reviews yet.
Video reviews
Video reviews
Amazon now allows customers to upload product video reviews. Use a webcam or video camera to record and upload reviews to Amazon.



Inside This Book (learn more)
First Sentence:
Software maintenance is a crucial phase for the longevity of any application. Read the first page
Key Phrases - Capitalized Phrases (CAPs): (learn more)
Rate Change, Ttl Evalu, Rate Improvement, Ttl Node Searched, Degree of Paral, Ttl Com Cost, Ttl Wt Com Cst, Static Overhead, Static Wt Overhead, Correctness Proof, Ttl Wt Corn Cst, Ttl Corn Cost, Non-functional Adjustment
New!
Concordance | Text Stats
Browse Sample Pages:
Front Cover | Front Flap | Table of Contents | First Pages | Index | Back Flap | Back Cover | Surprise Me!
Search Inside This Book:

Citations (learn more)
This book cites 22 books:
See all 22 books this book cites
 
7 books cite this book:
See all 7 books citing this book

Tag this product

 (What's this?)
Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items.
Your tags: Add your first tag
 

Sell a Digital Version of This Book in the Kindle Store

If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store. Learn more

Customer Discussions

This product's forum
Discussion Replies Latest Post
No discussions yet

Ask questions, Share opinions, Gain insight
Start a new discussion
Topic:
First post:
Prompts for sign-in
 


Active discussions in related forums
Search Customer Discussions
Search all Amazon discussions
   
Related forums


Listmania!


Create a Listmania! list

So You'd Like to...


Create a guide


Look for Similar Items by Category


Look for Similar Items by Subject