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

Modal and Temporal Properties of Processes (Texts in Computer Science)


Blowout Sale! Save 65% on the Modal and Temporal Properties of Processes (Texts in Computer Science) by Springer at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many


Product Description

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 for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.

Additional Information

Manufacturer:Springer
Publisher:Springer
Studio:Springer
EAN:9780387987170
Item Weight:1.22 pounds
Item Size:0.5 x 9.5 x 9.5 inches
Package Weight:1.34 pounds
Package Size:7.04 x 0.52 x 0.52 inches

Modal and Temporal Properties of Processes (Texts in Computer Science) by Springer

Buy Now:
Modal and Temporal Properties of Processes (Texts in Computer Science)

Brand: Springer
4.4 out of 5 stars with 18 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$134.00
$47.61
You Save: 64%


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 Springer, 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: 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...

ean: 9781584886235, isbn: 1584886234,
The ability of parallel computing to process large data sets and handle time-consuming operations has resulted in unprecedented advances in biological and scientific computing, modeling, and simulations. Exploring these recent developments, the Handb...

ean: 9781441952783, isbn: 1441952780,
Concurrency in Dependable Computing focuses on concurrency related issues in the area of dependable computing. Failures of system components, be hardware units or software modules, can be viewed as undesirable events occurring concurrently with a set...

ean: 9781970001914, isbn: 1970001917,
Parallelism is the key to achieving high performance in computing. However, writing efficient and scalable parallel programs is notoriously difficult, and often requires significant expertise. To address this challenge, it is crucial to provide progr...

mpn: colour illustrations, ean: 9780128021224, isbn: 0128021225,
The Smart Grid security ecosystem is complex and multi-disciplinary, and relatively under-researched compared to the traditional information and network security disciplines. While the Smart Grid has provided increased efficiencies in monitoring powe...

ean: 9781596930858, isbn: 1596930853,
Commonly used methods in computational electromagnetics include the Finite Element Method (FEM), the Finite Difference Time Domain (FDTD) method and the Method of Moment (MoM), and they all find applications to the solution of a wide variety of elect...

mpn: figures, ean: 9780198501787, isbn: 0198501781,
Domain decomposition methods are designed to allow the effective numerical solution of partial differential equations on parallel computer architectures. They comprise a relatively new field of study but have already found important applications in m...

ean: 9780198529392, isbn: 0198529392,
Based on the author's extensive development, this is the first text explaining how to use BSPlib, the bulk synchronous parallel library, which is freely available for use in parallel programming. Aimed at graduate students and researchers in mathemat...

ean: 9780805300864, isbn: 0805300864,
Concurrent programming is critical to a variety of applications, including parallel computation, workstation window systems, multi-user database systems, and network file servers. Andrews provides an in-depth overview of underlying principles as well...



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