Mohlo by se vám také líbit

Více informací o knize Formal Methods: Foundations and Applications

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

Nákupem získáte 135 bodů

Anotace knihy

This book constitutes the thoroughly refereed post-conference§proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF§2010, held in Natal, Brazil, in November 2010.§The 18 revised full papers were carefully reviewed and selected from§55 submissions. The papers presented cover a broad range of foundational§and methodological issues in formal methods for the design and analysis§of software and hardware systems as well as applications in various§domains.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Human-computer interaction

• Plný název: Formal Methods: Foundations and Applications
• Podnázev: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
• Autor: Jim Davies, Leila Silva, Adenilso Simao
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 291
• EAN: 9783642198281
• ISBN: 3642198287
• ID: 01657595
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 448 g
• Rozměry: 235 × 155 × 19 mm
• Datum vydání: 23. March 2011

Oblíbené z jiného soudku

---

---

---