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

Viac informácií o knihe Computer-Aided Verification of Coordinating Processes

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

Nákupom získate 493 bodov

Anotácia knihy

Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must

Parametre knihy

Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Calculus & mathematical analysis

• Celý názov: Computer-Aided Verification of Coordinating Processes
• Podnázov: The Automata-Theoretic Approach
• Autor: Robert P. Kurshan
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 284
• EAN: 9780691634890
• ISBN: 9780691634890
• ID: 01019063
• Nakladateľ: Princeton University Press
• Hmotnosť: 567 g
• Rozmery: 229 × 152 × 20 mm
• Dátum vydania: 19. April 2016

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

---

---

---