Skip to main content
Member $avings: $82,024,710.82 | Books Available: 659,799 | Members Online: 214
Swap Used Books - Buy New Books at Great Prices!
PBS logo
 
 

Search - Formal Methods for Concurrency

Formal Methods for Concurrency
Formal Methods for Concurrency
Author: Clive Fencott
The aim of this work is to provide a practical introduction to the formal specification of concurrent and real-time systems. It is intended for those with some basic knowledge or experience of computing but does not assume knowledge of the particular problems of concurrent and real-time systems. It concentrates on one group of languages, based o...  more »
ISBN-13: 9780412432002
ISBN-10: 0412432005
Pages: 320
Rating:
  ?
0 stars, based on 0 rating
Publisher: Chapman & Hall
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review



Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2025 PaperBackSwap.com. All Rights Reserved.