You're in Computer Books
See Matches in:
Narrow Search Results
Best Seller | The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulation methods used for proving its correctness. The authors concentrate in the first part on... more | $76.00 $66.99 FREE shipping go to store |
| Process algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software systems. This book sets the standard for the field. It assembles the relevant results of most process algebras... more | $112.00 $104.00 FREE shipping go to store |
Ads related to cambridge tracts in theoretical computer