CONCUR'93

Name: CONCUR'93
Brand: Springer, Berlin
SKU: 9783540572084
Price: 19399 HUF
Availability: InStock

4thInternational Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings

Szerző: Eike Best

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 399 Ft

This volume contains the proceedings of CONCUR '93, the fourth in an annual series of conferences de...

Információk a könyvről

Szerző

Eike Best

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1993

oldal

550

EAN

9783540572084

ISBN

3540572082

Enbook ID

05274337

Kiadó

Springer, Berlin

Súly

740

Méretek

156 x 234 x 28

Teljes leírás

This volume contains the proceedings of CONCUR '93, the fourth in an annual series of conferences devoted to the study of concurrency. The basic aim of the CONCUR conferences is to communicate advances in concurrency theory and applications.The volume contains 31 papers selected from 113 submissions, together with four invited papers and two abstracts ofinvited talks. The invited talks are: "The lambda-calculuswith multiplicities" (extended abstract) by Gérard Boudol, "A pi-calculus semantics for an object-based designnotation" by Cliff B. Jones, "Partial-order methods for temporal verification" by Pierre Wolper and Patrice Godefroid, "Non-interleaving process algebra" by Jos C. M. Baetenand Jan A. Bergstra, "Loop parallelization in the polytope model" by Christian Lengauer, and "Structured operational semantics for process algebras and equational axiom systems" (abstract) by Bard Bloom.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

CONCUR'93

4thInternational Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings

Információk a könyvről

Teljes leírás

Érdekelheti

Mathematics of Planet Earth

Becoming TIGERS: Leading Your Team Success

Twenty-one Days in India

Continuous-Time Models in Corporate Finance, Banking, and Insurance

S-BPM in the Wild

Pre Cis Historique Des Ope Rations Militaires de L'Arme E D'Italie En 1813 Et 1814, Par Le Chef de L'e Tat-Major-GE Ne Ral de Cette Arme E (M. de V.).

Empire of the Tsars and the Russians ... translated from the third French edition with annotations by Z. A. Ragozin.

Builders and Fools

Application-layer Fault-tolerance Protocols

Connected Lives

Cold Blooded

Alexander Zinoviev: An Introduction to His Work

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

BILD - MACHT - UnORDNUNG

100 hits in C-Dur, band 1

Wiedzmin Miecz przeznaczenia

Blick zurück nach vorn

Ogrody mojej duszy