shop by
Category
items
0 

Concurrency Theory : Calculi an Automata for Modelling Untimed And Timed Concurrent Systems (Hardcover)

Author: Bowman, Howard

Customer Reviews   Write a Review

Be the first to review this item and earn 25 Rakuten Super Points™

Product Overview

The field of concurrency theory is becoming increasingly important, with the problem of formally verifying concurrent distributed systems a critical consideration and a major topic for the software industries. This book, with its extensive applications of the techniques involved in the field of concurrency theory, is the first to adopt this new approach.

Specifications

Publisher Springer-Verlag New York Inc
Mfg Part# 9781852338954
SKU 202168703
Format Hardcover
ISBN10 1852338954
Release Date 8/13/2012
loading
Sold Out
Sorry, you missed the deal!
This product is currently not available.
ADVERTISEMENT
Promotions & Offers (1)
  •  custom promo
    5% Back* Sitewide with Promo Code Rewardme *See page for details
ADVERTISEMENT
ADVERTISEMENT