You're in Computer Books
See Matches in:
Narrow Search Results
| Best Seller  | In this book the author gives a broad overview of different areas of research in nonmonotonic reasoning and presents some new results and ideas based on his research. The guiding principles are: clarification of the different research activities in the... more | $65.32 $47.99 FREE shipping go to store |
 | Modern computer networks now circle the world but the transmission of information among them depends on the many different protocols that define the behavior of the sender and receiver. It is clear therefore that the accurate description of these... more | FREE shipping go to store |
| 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
