Understanding Concurrent Systems (Paperback or Softback)
Langue : anglais
Edité par Springer 12/3/2012, 2012
- Livre broché
- Neuf
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores
Vendeur AbeBooks depuis 23 janvier 2002
Etat: Neuf
EUR 60,36
Quantité disponible : 5 disponibles
Ajouter au panierA propos de cet article
Understanding Concurrent Systems.
N° de réf. du vendeur BBS-9781447126003
- Titre
- Understanding Concurrent Systems (Paperback or Softback)
- Auteur
- Roscoe, A. W.
- Éditeur
- Springer 12/3/2012
- Année de publication
- 2012
- État de l'article
- New
- Type de livre
- Book
- Reliure
- Paperback or Softback
- Langue
- anglais
- ISBN à 10 chiffres
- 1447126009
- ISBN à 13 chiffres
- 9781447126003
- Poids de l'article
- 1,67 livre
- Série
- Livre 18 sur 83: Texts in Computer Science
« Synopsis » peut appartenir à une autre édition de cet ouvrage.
À propos de la quatrième de couverture
Communicating Sequential Processes (CSP) has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. Hoare in 1985. Both a programming language and a specification language, CSP helps users to understand concurrent systems, and to decide whether a program meets its specification. As a member of the family of process algebras, the concepts of communication and interaction are presented in an algebraic style.
An invaluable textbook/reference on the state of the art in CSP, Understanding Concurrent Systems also serves as a comprehensive introduction to the field, in addition to providing material for a number of more advanced courses. A first point of reference for anyone wanting to use CSP or learn about its theory, the book also introduces other views of concurrency, using CSP to model and explain these. The text is fully integrated with CSP-based tools such as Failures-Divergences Refinement (FDR), and describes how to create new tools based on FDR. Most of the book relies on no previous knowledge of the theoretical background other than a basic knowledge of sets and sequences. Sophisticated mathematical arguments are avoided whenever possible.
Topics and features:
- Presents a comprehensive, accessible introduction to CSP
- Discusses the latest advances in CSP, giving novel presentations of its operational and algebraic semantics as well as the first comprehensive survey of its hierarchy of behavioural denotational models
- Explores the practical application of CSP, including timed modelling, discrete modelling, parameterised verifications and the state explosion problem, as well as advanced topics in the use of FDR
- Examines the ability of CSP to describe and enable reasoning about parallel systems modelled in other paradigms including two chapters on shared variable programming
- Covers a broad variety of concurrent systems, including combinatorial, timed, priority-based, mobile, shared variable, statecharts, buffered and asynchronous systems
- Contains ample exercises and case studies to support the text and aid in the explanation
- Supplies further tools and information at the associated website: http://www.comlab.ox.ac.uk/ucs/
From undergraduate students of computer science in need of an introduction to the area, to researchers and practitioners desiring a more in-depth understanding of theory and practice of concurrent systems, this broad-ranging text/reference is essential reading for anyone interested in Hoare's CSP.
Bill Roscoe has been Head of Department at Oxford University Computing Laboratory since 2003 and a Professor of Computer Science there since 1997. He is a Fellow of University College, Oxford and co-Director of the James Martin Institute for the Future of Computing. He is also co-editor of the Springer book Reflections on the Work of C.A.R. Hoare.
« A propos de ce titre » peut appartenir à une autre édition de cet ouvrage.
BargainBookStores
Grand Rapids, MI, Etats-Unis
Vendeur AbeBooks depuis 23 janvier 2002
Frais d'expédition à l'intérieur de ce pays : Etats-Unis
| Article | 4 à 10 jours ouvrés | 4 à 9 jours ouvrés |
|---|---|---|
| Premier article | EUR 0,00 | EUR 35,19 |
Modes de paiement
Description de la boutique
Save up to 90% on your favorite items at BargainBookStores.com! Our 20,000 square foot warehouse in Grand Rapids, Michigan is filled with hundreds of thousands of books and consumer goods, all at the lowest prices! We've been serving internet customers with great deals since 2001. All books ship from Grand Rapids, Michigan. 100% Customer Satisfaction Guaranteed We want to ensure your satisfaction. If you are dissatisfied with your purchase or shopping experience, we would like to hear from you. Please contact us by email: cs@bargainbookstores.com. Please be sure to include your contact information and order number. We do not charge a restocking fee for returns. Your Privacy BargainBookStores.com does not provide, sell or market customer information to other businesses or organizations.…
Spécialité
Out of Print Books, Specializing in Academic and Professional Books, Bargain Books - Save Up to 90% Off Publisher's List Price!, Remainder Books, Store-Wide Range of New Books in all CategoriesProfil professionnel du vendeur
BargainBookStores
3423 Lousma Dr SE
Grand Rapids, MI Etats-Unis 49548
Conditions de vente
BargainBookStores guarantees 100% Customer Satisfaction. We ship worldwide and offer a variety of shipping methods to meet your needs. Please place your order directly via ABEBooks.com. We accept payment by MasterCard and Visa. For more information, contact us by email at cs@bargainbookstores.com. Full contact info is below:
BargainBookStores.com LLC
3423 Lousma Dr SE
Grand Rapids, MI 49548
Droit de rétractation
Si vous êtes un consommateur, vous pouvez exercer votre droit de rétractation sur le contrat conformément à ce qui suit. Le mot « consommateur » désigne toute personne physique agissant à des fins qui n'entrent pas dans le cadre de son activité commerciale, artisanale ou professionnelle.
Informations concernant le droit de rétractation
Droit statutaire de rétractation
Vous avez le droit d'exercer votre droit de rétractation sur ce contrat dans les 14 jours sans donner de raison.
Le délai de rétractation expirera au bout de 14 jours à compter du jour où vous-même, ou un tiers autre que le transporteur et désigné par vous, prendrez physiquement possession de la dernière marchandise, du dernier lot ou de la dernière pièce.
Pour exercer votre droit de rétractation, remplissez électroniquement et envoyez une déclaration claire sur notre site Web, sous « Vos achats » dans « Votre compte ». Nous vous communiquerons sans délai un accusé de réception de cette rétractation sur un support durable (par exemple, par e-mail).
Pour respecter le délai de rétractation, il vous suffit d'envoyer votre message concernant l'exercice de votre droit de rétractation avant l'expiration du délai de rétractation.
Effets de la rétractation
Si vous exercez votre droit de rétractation sur ce contrat, nous vous rembourserons tous les paiements que vous avez effectués, y compris les frais de livraison (à l'exception des frais supplémentaires résultant du choix d'un mode de livraison autre que le type de livraison standard le moins cher que nous proposons).
Nous pouvons déduire du remboursement la perte de valeur de toute marchandise livrée, si la perte est le résultat d'une manipulation inutile de votre part.
Nous effectuerons le remboursement dans les meilleurs délais, et au plus tard 14 jours après le jour où nous aurons été informés de votre décision d'exercer votre droit de rétractation sur ce contrat.
Nous effectuerons le remboursement en utilisant le même moyen de paiement que celui que vous avez utilisé pour la transaction initiale, sauf si vous en avez expressément convenu autrement ; en tout état de cause, aucuns frais ne vous seront facturés à la suite d'un tel remboursement.
Nous pouvons suspendre le remboursement jusqu'à ce que nous ayons reçu les marchandises ou que vous ayez fourni la preuve que vous avez renvoyé les marchandises, en fonction de la première éventualité.
Vous devez renvoyer les marchandises ou les remettre à BargainBookStores, Grand Rapids, Michigan, U.S.A., sans retard injustifié et, en tout état de cause, au plus tard 14 jours à compter du jour où vous nous avez communiqué votre décision de rétractation du présent contrat. Le délai est respecté si vous renvoyez les marchandises avant l'expiration du délai de 14 jours. Vous devrez prendre en charge les frais directs du renvoi des marchandises. Vous n'êtes responsable que de toute diminution de valeur des marchandises résultant d'une manipulation autre que celle nécessaire pour établir la nature, les caractéristiques et le fonctionnement des marchandises.
Exceptions au droit de rétractation
Le droit de rétractation ne s'applique pas à ce qui suit :
- Distribution de journaux, de revues ou de magazines, à l'exception des contrats d'abonnement ; et
- Fourniture d'un contenu numérique qui n'est pas fourni sur un support matériel (par exemple, sur un CD ou un DVD) si vous avez accepté, lors de votre commande, que nous puissions commencer à le livrer et que vous ne puissiez pas exercer votre droit de rétractation une fois la livraison commencée.
Conditions d'expédition
We will ship to all domestic and most international destinations.
Please note: Shipping times are estimated and are not guaranteed by BargainBookStores.