Concur 2000. Concurrency Theory: 11th International Conference, University Park, Pa, Usa, August 22-25, 2000 Proceedings - Lecture Notes in Computer Science - C Palamidessi - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540678977 - August 11, 2000
In case cover and title do not match, the title is correct

C Palamidessi
Concur 2000. Concurrency Theory: 11th International Conference, University Park, Pa, Usa, August 22-25, 2000 Proceedings - Lecture Notes in Computer Science

Price
$ 104.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 15 - 21

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

The papers address concurrency-related aspects of models of computation; semantic domains; process algebras; Petri nets; event structures; real-time systems; hybrid systems; decidability; model checking; verification techniques; refinement; term and graph rewriting; and other topics.

613 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 11, 2000
ISBN13 9783540678977
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 613
Dimensions 155 × 233 × 32 mm   ·   870 g
Language German  
Editor Palamidessi, Catuscia

Mere med samme udgiver

See all of C Palamidessi ( e.g. Paperback Book )