Zobacz książki o podobnej tematyce

Więcej informacji o CONCUR 2011 -- Concurrency Theory

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 150 punkty

Opis

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.

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Computer hardware Network hardware

• Pełny tytuł: CONCUR 2011 -- Concurrency Theory
• Podtytuł: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings
• Autor: Joost-Pieter Katoen, Barbara König
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 560
• EAN: 9783642232169
• ISBN: 3642232167
• ID: 01658622
• Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Waga: 856 g
• Wymiary: 235 × 155 × 30 mm
• Data wydania: 22. August 2011

Ulubione w innej kategorii

---

---

---