Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Haben Sie Fragen? Einfach anrufen, wir helfen gerne: Tel. 089/210233-0
oder besuchen Sie unser Ladengeschäft in der Pacellistraße 5 (Maxburg) 80333 München
+++ Versandkostenfreie Lieferung innerhalb Deutschlands
Haben Sie Fragen? Tel. 089/210233-0

CONCUR '98 Concurrency Theory

106,99 €*

Versandkostenfrei

Produktnummer: 18c622f460d5904eae80bc792643cbe2f8
Themengebiete: Concurrency CalcuLi Linear Time Logics Process Algebras Real-Time Systems Type Systems algorithm algorithms model checking petri net real-time
Veröffentlichungsdatum: 19.08.1998
EAN: 9783540648963
Sprache: Englisch
Seitenzahl: 663
Produktart: Kartoniert / Broschiert
Herausgeber: Sangiorgi, Davide Simone, Robert de
Verlag: Springer Berlin
Untertitel: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings
Produktinformationen "CONCUR '98 Concurrency Theory"
This book constitutes the refereed proceedings of the 9th International Conference on Concurrency Theory, CONCUR'98, held in Nice, France, in September 1998.The 35 revised full papers presented were carefully selected from a total of 104 submissions. Also presented are five invited contributions. Among the topics covered are moduls of computation and semantic domains, process algebras, Petri Nets, event structures, real-time systems, hybrid systems, model checking, verification techniques, refinement, rewriting, typing systems and algorithms, etc..
Bücherregal gefüllt mit juristischen Werken

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