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

Eric Y T Juan Jeffrey J P Tsai - Mega Sale! Save up to 25%


Mega Sale! Up to 25% off on Eric Y T Juan Jeffrey J P Tsai products at EMS Linux. Hurry! Limited time offers. Offers valid only while supplies last.



Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science)
Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science)
In Stock
$169.00
$126.99
You Save: 25%

ean: 9781402070259, isbn: 140207025X,

4.8 out of 5 stars with 27 reviews
With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Many of the software systems support or supplant human control of safety-critical systems such as flight...



Viewing Page 1 of 1

Feel free to Browse Our Catalog.



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