Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

CONCUR'99. Concurrency Theory

Name: CONCUR'99. Concurrency Theory
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05275000
Price: 101.79 EUR
Availability: InStock
Author: Jos C. M. Baeten
ISBN: 9783540664253

10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings

Jos C. M. Baeten

Sjouke Mauw

Language

English

Book Paperback

Libristo code: 05275000

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 1999

This volume contains the proceedings of the 10th International Conference on Concurrency Theory (CON... Full description

Libristo code: 05275000

249 b

101.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Berühmte Frauen der Weltgeschichte Gertrude Aretz

Paperback

8.99 €

Traitement Du Cholera-Morbus. 2e Edition Schacken-D

Paperback

12.89 €

Stabilitat Und Matrizen P. C. Müller

Paperback

54.99 €

CD MP3 Szczury Wrocławia. Chaos. Tom 1 Robert J. Szmidt

Paperback

6.69 €

Sedm slov Marek Tomeček

Paperback

10.19 €

Skryté síly v člověku - čakry a kundaliní Paramhans svámi Mahéšvaránanda

Hardback

23.99 €

Witchstone Kids Reiner Knizia

Game

18.99 €

Jak si lidé hrají Eric Berne

Audio CD

5.69 €

Begegnung fürs Leben, Kunstleder

Paperback

65.00 €

Mies Van Der Rohe Ratramn Ratramnus Corbeiensis

Paperback

20.29 €

Connect ... - Lehrwerk für Geschichte bilingual deutsch-englisch in der gymnasialen Oberstufe Iris Faßbender

Hardback

38.39 €

Dr Food. W trosce o żołądek, jelita i trawienie Bernhard Hobelsberger

Paperback

12.69 €

Mbuti Pygmies of the Ituri Rainforest

Audio CD

3.59 €

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.