Error title
Some error text about your books and stuff.
Close

Distributed System Analysis With CCS

by Bruns, Glenn

  • ISBN: 9780133983890
  • ISBN10: 0133983897

Distributed System Analysis With CCS

by Bruns, Glenn

  • List Price: $66.00
  • Binding: Paperback
  • Edition: 1
  • Publisher: Prentice Hall PTR
  • Publish date: 12/04/1996
  • ISBN: 9780133983890
  • ISBN10: 0133983897
used Add to Cart $97.57
Marketplace Item
Description: Introduces important new techniques for analyzing distributed systems using CCS.

This book describes how distributed systems can be analyzed using the process of notational CCS, temporal logic, and automatic tools. The core of the book is a series of case studies showing how CCS has been applied to distributed systems recently developed in industry. The book is self-contained. It starts with a discussion of how CCS and its theory address the needs of software engineers, then introduces both CCS and temporal logic. Every chapter contains exercises, and appendices describe available analysis tools in detail.

Expand description
Seller Condition Comments Price  
Seller: HPB-Dallas
Location: Dallas, TX
Condition: Good
Shipping Icon
Item may show signs of shelf wear. Pages may include limited notes and
[...]
Price:
$97.57
Comments:
Item may show signs of shelf wear. Pages may include limited notes and
[...]
Seller: Ergodebooks
Location: Richmond, TX Ask seller a question
Condition: Good
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$114.92
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
please wait
Please Wait

Notify Me When Available

Enter your email address below,
and we'll contact you when your school adds course materials for
.
Enter your email address below, and we'll contact you when is back in stock (ISBN: ).