Mohlo by se vám také líbit

Více informací o knize Logic for Concurrency and Synchronisation

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

Nákupem získáte 331 bodů

Anotace knihy

This book is for researchers in computer science, mathematical logic, and philosophical logic. It shows the state of the art in current investigations of process calculi with mainly two major paradigms at work: linear logic and modal logic. The combination of approaches and pointers for further integration also suggests a grander vision for the field.§

Parametry knihy

Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Mathematical foundations

• Plný název: Logic for Concurrency and Synchronisation
• Autor: R.J. De Queiroz
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 285
• EAN: 9789401740005
• ISBN: 9401740003
• ID: 02178381
• Nakladatelství: Springer
• Hmotnost: 474 g
• Rozměry: 235 × 155 × 17 mm
• Datum vydání: 21. April 2013

Oblíbené z jiného soudku

---

---

---