Mohlo by se vám také líbit

Více informací o knize Automatic Verification of Sequential Infinite-State Processes

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

Nákupem získáte 168 bodů

Anotace knihy

This monograph provides information for theoreticians interested in algebraic theories, as well as for software engineers building practical tools. The author presents the theoretical foundations needed for the verification of reactive, sequential infinite-state systems.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Software Engineering

• Plný název: Automatic Verification of Sequential Infinite-State Processes
• Autor: Burkart, O. (University of Dortmund, Germany)
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 176
• EAN: 9783540639824
• ISBN: 9783540639824
• ID: 06615459
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 284 g
• Rozměry: 235 × 155 × 10 mm
• Datum vydání: 31. December 1997

Oblíbené z jiného soudku

---

---

---