Produktnummer:
18a09e323bcf8b4c5d9282bd2a3a1e35f4
| Themengebiete: | Automaten Nebenläufigkeit Parallelität Programmiersemantik Programmverifikation automata concurrency parallelism programming semantics program verification |
|---|---|
| Veröffentlichungsdatum: | 27.07.1994 |
| EAN: | 9783540583295 |
| Sprache: | Englisch |
| Seitenzahl: | 534 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Jonsson, Bengt Parrow, Joachim |
| Verlag: | Springer Berlin |
| Untertitel: | 5th International Conference, Uppsala, Sweden, August 22 - 25, 1994. Proceedings |
Produktinformationen "CONCUR '94: Concurrency Theory"
This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August 1994.In total, 29 refereed research papers selected from 108 submissions for the conference are presented together with full papers or abstracts of the 5 invited talks by prominent speakers. The book contains recent results on all relevant aspects of concurrency research and thus competently documents the progress of the field since the predecessor conference CONCUR '93, the proceedings of which are published as LNCS 715.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen