Mohlo by se vám také líbit

Více informací o knize CONCUR 2011 -- Concurrency Theory

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 170 bodů

Anotace knihy

This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. §The 32 revised full papers were carefully reviewed and selected from 94 submissions. The papers are organized in topics such as real-time systems, probabilistic systems, automata, separation logic, -calculus, Petri nets, process algebra and modeling, verification, games, and bisimulation.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer hardware Network hardware

• Plný název: CONCUR 2011 -- Concurrency Theory
• Podnázev: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings
• Autor: Joost-Pieter Katoen, Barbara König
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 560
• EAN: 9783642232169
• ISBN: 3642232167
• ID: 01658622
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 856 g
• Rozměry: 235 × 155 × 30 mm
• Datum vydání: 22. August 2011

Oblíbené z jiného soudku

---

---

---