Articles liés à Communicating Sequential Processes The First 25 Years:...
Communicating Sequential Processes The First 25 Years: Symposium on the Occasion of 25 Years of CSP London, UK, July 7-8, 2004 Revised Invited Papers - Couverture souple
Synopsis
This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. 1 Tony Hoare's paper "Communicating Sequential Processes" is today widely regarded as one of the most in?uential papers in computer science. To comm- orate it, an event was organized under the auspices of BCS-FACS (the British Computer Society's Formal Aspects of Computing Science specialist group). CSP25 was one of a series of such events organized to highlight the use of formal methods, emphasize their relevance to modern computing and promote their wider application. BCS-FACS is proud that Tony Hoare presented his original ideas on CSP at one of its ?rst meetings, in 1978. The two-day event, 7-8 July 2004, was hosted by London South Bank U- versity's Institute for Computing Research, Faculty of Business, Computing and Information Management. The intention was to celebrate, re?ect upon and look beyondthe?rstquarter-centuryofCSP'scontributionstocomputerscience. The meeting examined the impact of CSP on many areas stretching from semantics (mathematical models for understanding concurrency and communications) and logic(forreasoningaboutbehavior), throughthedesignofparallelprogramming languages (i/o, parallelism, synchronization and threads) to applications va- ing from distributed software and parallel computing to information security, Web services and concurrent hardware circuits. It included a panel discussion with panelists Brookes, Hoare, de Roever and Roscoe (chaired by Je? Sanders), poster presentations by PhD students and others, featured a ?re alarm (requ- ing evacuation in the rain!) and concluded with the presentation of a fountain pen to Prof. Sir C. A. R. Hoare.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2009
- ISBN 10 3540258132
- ISBN 13 9783540258131
- ReliureBroché
- Langueanglais
- Nombre de pages340
- ÉditeurAbdallah Ali E.
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 48,37
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délaisRésultats de recherche pour Communicating Sequential Processes The First 25 Years:...
Image fournie par le vendeur
Communicating Sequential Processes. The First 25 Years
Edité par
Springer Berlin Heidelberg, 2005
ISBN 10 : 3540258132
ISBN 13 : 9783540258131
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Kartoniert / Broschiert. Etat : New. N° de réf. du vendeur 4886613
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Communicating Sequential Processes. The First 25 Years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
Edité par
Springer Berlin Heidelberg, 2005
ISBN 10 : 3540258132
ISBN 13 : 9783540258131
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. 1 Tony Hoare's paper 'Communicating Sequential Processes' is today widely regarded as one of the most in uential papers in computer science. To comm- orate it, an event was organized under the auspices of BCS-FACS (the British Computer Society's Formal Aspects of Computing Science specialist group). CSP25 was one of a series of such events organized to highlight the use of formal methods, emphasize their relevance to modern computing and promote their wider application. BCS-FACS is proud that Tony Hoare presented his original ideas on CSP at one of its rst meetings, in 1978. The two-day event, 7-8 July 2004, was hosted by London South Bank U- versity's Institute for Computing Research, Faculty of Business, Computing and Information Management. The intention was to celebrate, re ect upon and look beyondthe rstquarter-centuryofCSP'scontributionstocomputerscience. The meeting examined the impact of CSP on many areas stretching from semantics (mathematical models for understanding concurrency and communications) and logic(forreasoningaboutbehavior),throughthedesignofparallelprogramming languages (i/o, parallelism, synchronization and threads) to applications va- ing from distributed software and parallel computing to information security, Web services and concurrent hardware circuits. It included a panel discussion with panelists Brookes, Hoare, de Roever and Roscoe (chaired by Je Sanders), poster presentations by PhD students and others, featured a re alarm (requ- ing evacuation in the rain!) and concluded with the presentation of a fountain pen to Prof. Sir C. A. R. Hoare. N° de réf. du vendeur 9783540258131
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Communicating Sequential Processes. The First 25 Years
Edité par
Springer Berlin Heidelberg Mai 2005, 2005
ISBN 10 : 3540258132
ISBN 13 : 9783540258131
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. 1 Tony Hoare's paper 'Communicating Sequential Processes' is today widely regarded as one of the most in uential papers in computer science. To comm- orate it, an event was organized under the auspices of BCS-FACS (the British Computer Society's Formal Aspects of Computing Science specialist group). CSP25 was one of a series of such events organized to highlight the use of formal methods, emphasize their relevance to modern computing and promote their wider application. BCS-FACS is proud that Tony Hoare presented his original ideas on CSP at one of its rst meetings, in 1978. The two-day event, 7-8 July 2004, was hosted by London South Bank U- versity's Institute for Computing Research, Faculty of Business, Computing and Information Management. The intention was to celebrate, re ect upon and look beyondthe rstquarter-centuryofCSP'scontributionstocomputerscience. The meeting examined the impact of CSP on many areas stretching from semantics (mathematical models for understanding concurrency and communications) and logic(forreasoningaboutbehavior),throughthedesignofparallelprogramming languages (i/o, parallelism, synchronization and threads) to applications va- ing from distributed software and parallel computing to information security, Web services and concurrent hardware circuits. It included a panel discussion with panelists Brookes, Hoare, de Roever and Roscoe (chaired by Je Sanders), poster presentations by PhD students and others, featured a re alarm (requ- ing evacuation in the rain!) and concluded with the presentation of a fountain pen to Prof. Sir C. A. R. Hoare. 344 pp. Englisch. N° de réf. du vendeur 9783540258131
Quantité disponible : 2 disponible(s)
Image d'archives
Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers (Lecture Notes in Computer Science, 3525)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540258131_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Communicating Sequential Processes. The First 25 Years
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Mai 2005, 2005
ISBN 10 : 3540258132
ISBN 13 : 9783540258131
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Neuware -This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. 1 Tony Hoare¿s paper ¿Communicating Sequential Processes¿ is today widely regarded as one of the most in uential papers in computer science. To comm- orate it, an event was organized under the auspices of BCS-FACS (the British Computer Society¿s Formal Aspects of Computing Science specialist group). CSP25 was one of a series of such events organized to highlight the use of formal methods, emphasize their relevance to modern computing and promote their wider application. BCS-FACS is proud that Tony Hoare presented his original ideas on CSP at one of its rst meetings, in 1978. The two-day event, 7¿8 July 2004, was hosted by London South Bank U- versity¿s Institute for Computing Research, Faculty of Business, Computing and Information Management. The intention was to celebrate, re ect upon and look beyondthe rstquarter-centuryofCSP¿scontributionstocomputerscience. The meeting examined the impact of CSP on many areas stretching from semantics (mathematical models for understanding concurrency and communications) and logic(forreasoningaboutbehavior),throughthedesignofparallelprogramming languages (i/o, parallelism, synchronization and threads) to applications va- ing from distributed software and parallel computing to information security, Web services and concurrent hardware circuits. It included a panel discussion with panelists Brookes, Hoare, de Roever and Roscoe (chaired by Je Sanders), poster presentations by PhD students and others, featured a re alarm (requ- ing evacuation in the rain!) and concluded with the presentation of a fountain pen to Prof. Sir C. A. R. Hoare. 344 pp. Englisch. N° de réf. du vendeur 9783540258131
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Communicating Sequential Processes. the First 25 Years : Symposium on the Occasion of 25 Years of Csp, London, Uk, July 7-8, 2004. Revised Invited Papers
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 4117264-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Communicating Sequential Processes. the First 25 Years : Symposium on the Occasion of 25 Years of Csp, London, Uk, July 7-8, 2004. Revised Invited Papers
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 4117264-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Communicating Sequential Processes. the First 25 Years : Symposium on the Occasion of 25 Years of Csp, London, Uk, July 7-8, 2004. Revised Invited Papers
Edité par
Springer, 2005
ISBN 10 : 3540258132
ISBN 13 : 9783540258131
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 4117264
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Communicating Sequential Processes. the First 25 Years : Symposium on the Occasion of 25 Years of Csp, London, Uk, July 7-8, 2004. Revised Invited Papers
Edité par
Springer, 2005
ISBN 10 : 3540258132
ISBN 13 : 9783540258131
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 4117264
Quantité disponible : Plus de 20 disponibles
Image d'archives
Communicating Sequential Processes. The First 25 Years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Pap
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540258131
Quantité disponible : 10 disponible(s)