Click & Collect
from 2 Hours*
Last Christmas
delivery dates
Free UK Standard Delivery On all orders over £25 Order in time for Christmas 16th December by 3pm 2nd Class |
19th December by 3pm 1st Class
Free Click & Collect to shops From 2 hours after you order*
CONCUR'99. Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings - Lecture Notes in Computer Science 1664 (Paperback)
  • CONCUR'99. Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings - Lecture Notes in Computer Science 1664 (Paperback)
zoom

CONCUR'99. Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings - Lecture Notes in Computer Science 1664 (Paperback)

(editor), (editor)
£94.50
Paperback 584 Pages / Published: 13/08/1999
  • We can order this from the publisher

UK delivery within 3-4 weeks

  • This item has been added to your basket
This volume contains the proceedings of the 10th International Conference on Concurrency Theory (CONCUR'99) held in Eindhoven, The Netherlands, 24-27 August 1999. ThepurposeoftheCONCURconferencesistobringtogetherresearchers,- velopersandstudentsinordertoadvancethetheoryofconcurrencyandpromote its applications. Interest in this topic is continuously growing, as a consequence oftheimportanceandubiquityofconcurrentsystemsandtheirapplications,and of the scienti?c relevance of their foundations. The scope of CONCUR'99 covers all areas of semantics, logics and veri?cation techniques for concurrent systems. A list of speci?c topics includes (but is not limited to) concurrency-related - pects of: models of computation and semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, stochastic systems, - cidability, model-checking, veri?cation techniques, re?nement techniques, term and graph rewriting, distributed programming, logic constraint programming, object-oriented programming, typing systems and algorithms, case studies, and tools and environments for programming and veri?cation. The ?rst two CONCUR conferences were held in Amsterdam (NL) in 1990 and 1991, the following ones in Stony Brook (USA), Hildesheim (D), Uppsala (S), Philadelphia (USA), Pisa (I), Warsaw (PL) and Nice (F). The proceedings have appeared in Springer LNCS, as Volumes 458, 527, 630, 715, 836, 962, 1119, 1243, and 1466.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540664253
Number of pages: 584
Weight: 1820 g
Dimensions: 235 x 155 x 30 mm
Edition: 1999 ed.

You may also be interested in...

Cryptography: A Very Short Introduction
Added to basket
Construction Mathematics
Added to basket
Interest Rate Modeling. Volume 3
Added to basket
Probability
Added to basket
£29.49
Paperback
Renormalization Methods
Added to basket
Networks: A Very Short Introduction
Added to basket
Mathematical Techniques
Added to basket
About Time
Added to basket
£10.99
Paperback
Pharmaceutical Calculations Workbook
Added to basket
Mathematics for Economics and Finance
Added to basket
Mathematics for Finance
Added to basket
Stochastic Differential Equations
Added to basket

Please sign in to write a review

Your review has been submitted successfully.