Mohlo by se vám také líbit

Více informací o knize 25 Years of Model Checking

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

Nákupem získáte 118 bodů

Anotace knihy

This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, features papers based on talks at the symposium "25 Years of Model Checking", 25MC, which was part of the 18th International Conference on Computer Aided Verification.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Programming & scripting languages: general

• Plný název: 25 Years of Model Checking
• Podnázev: History, Achievements, Perspectives
• Autor: Orna Grumberg, Helmut Veith
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 234
• EAN: 9783540698494
• ISBN: 3540698493
• ID: 01567994
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 370 g
• Rozměry: 235 × 156 × 15 mm
• Datum vydání: 17. June 2008

Oblíbené z jiného soudku

---

---

---