Mohlo by se vám také líbit

Více informací o knize Structures in Concurrency Theory

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

Nákupem získáte 118 bodů

Anotace knihy

This is the latest volume in the Workshops in Computing series, and contains the papers presented at the International Workshop on Structures in Concurrency Theory (STRICT), held in Berlin, from 11 - 13 May 1995. Concurrency theory deals with formal aspects of concurrent systems. It uses partly competing and partly complementary formalisms and structures. This workshop was jointly organised by the Humboldt-Universität zu Berlin and the ESPRIT Basic Research Working Group CALIBAN. CALIBAN and its predecessor DEMON are ESPRIT Basic Research projects with the aim of developing design methodologies based on causal models such as Petri nets. The workshop marked the third year of the project, and surveyed the results of CALIBAN and DEMON since 1989.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Computer architecture & logic design

• Plný název: Structures in Concurrency Theory
• Podnázev: Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11-13 May 1995
• Autor: Jörg Desel
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 352
• EAN: 9783540199823
• ISBN: 3540199829
• ID: 02172604
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 565 g
• Rozměry: 235 × 155 × 22 mm
• Datum vydání: 13. October 1995

Oblíbené z jiného soudku

---

---

---