Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Parallel Programming

Hybrid Parallel Execution Model for Logic-Based Specification Languages


Huge Savings Item! Save 12% on the Hybrid Parallel Execution Model for Logic-Based Specification Languages by World Scientific Pub Co Inc at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. Parallel processing is a very important technique for improving the performance of various software development and maintenance activities. The


Product 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.

Additional Information

Manufacturer:World Scientific Pub Co Inc
Publisher:World Scientific Pub Co Inc
Studio:World Scientific Pub Co Inc
EAN:9789810240967
Item Weight:1.04 pounds
Item Size:0.75 x 9 x 9 inches
Package Weight:1.04 pounds
Package Size:6.04 x 1.34 x 1.34 inches

Hybrid Parallel Execution Model for Logic-Based Specification Languages by World Scientific Pub Co Inc

Buy Now:
Hybrid Parallel Execution Model for Logic-Based Specification Languages

Brand: World Scientific Pub Co Inc
4.0 out of 5 stars with 22 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$138.00
$121.77
You Save: 12%


Quantity:  

 


View More In Parallel Programming.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by World Scientific Pub Co Inc, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


ean: 9789810242329, isbn: 9810242328,
Molecular dynamics is a well-established technique for simulating complex many-particle systems in many areas of physics, chemistry, and astrophysics. The huge computational requirements for simulations of large systems, especially with long-range fo...

ean: 9789810244811, isbn: 9810244819,
ICA3PP 2000 was an important conference that brought together researchers and practitioners from academia, industry and governments to advance the knowledge of parallel and distributed computing. The proceedings constitute a well-defined set of innov...

ean: 9789810245795, isbn: 9810245793,
The third volume in the Series on Scalable Computing, this book contains five new articles describing significant developments in the field. Included are such current topics as clusters, parallel tools, load balancing, mobile systems, and architectur...

sku: M9812387838, ean: 9789812387837, isbn: 9812387838,
This book is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS) during the period 2000-2003. It presents many of the most active current research lines in theoretical computer...

ean: 9789812389657, isbn: 9812389652,
This book is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS) during the period 2000-2003. It presents many of the most active current research lines in theoretical computer...

mpn: illustrations, ean: 9789812775887, isbn: 9812775889,
Geosciences particularly numerical weather predication, are demanding the highest levels of computer power available. The European Centre for Medium-Range Weather Forecasts, with its experience in using supercomputers in this field, organizes a works...

ean: 9780130109125, isbn: 0130109126,

ean: 9780387987170, isbn: 0387987177,
In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited...

ean: 9780471678069, isbn: 0471678066,
Solving complex optimization problems with parallel metaheuristics Parallel Metaheuristics brings together an international group of experts in parallelism and metaheuristics to provide a much-needed synthesis of these two fields. Readers discover h...

mpn: black & white illustrations, ean: 9781466674615, isbn: 146667461X,
Rapidly generating and processing large amounts of data, supercomputers are currently at the leading edge of computing technologies. Supercomputers are employed in many different fields, establishing them as an integral part of the computational scie...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.