Mohlo by sa vám tiež páčiť

Viac informácií o knihe Topology in Process Calculus

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 154 bodov

Anotácia knihy

The purpose of this book is to establish a theory of approximate correctness and infinite evolution of concurrent programs by employing some notions and tools from point-set topology. Professionals, researchers and graduate students in theoretical computer science and formal methods will find this presentation helpful in understanding new concepts for concurrent and real-time systems, especially methods for describing approximation of systems.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Software Engineering

• Celý názov: Topology in Process Calculus
• Podnázov: Approximate Correctness and Infinite Evolution of Concurrent Programs
• Autor: Mingsheng Ying
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 220
• EAN: 9781461265221
• ISBN: 1461265223
• ID: 06794814
• Nakladateľ: Springer-Verlag New York Inc.
• Hmotnosť: 361 g
• Rozmery: 235 × 155 × 11 mm
• Dátum vydania: 28. October 2012

Obľúbené z iného súdka

---

---

---