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 127 bodů

Anotace knihy

This book§constitutes revised selected papers from the 18 th Brazilian Symposium§on Formal Methods, SBMF 2015, which took place in Belo Horizonte, MG, Brazil,§in September 2015.§§The 11 papers presented in this volume were carefully reviewed and selected§from 25 submissions. They were organized in topical sections named: model§checking; languages and semantics; refinement and verification; testing and§evaluation.§

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: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
• Autor: Márcio Cornélio, Bill Roscoe
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 195
• EAN: 9783319294728
• ISBN: 3319294725
• ID: 02893181
• Nakladatelství: Springer International Publishing AG
• Hmotnost: 3343 g
• Rozměry: 235 × 155 × 10 mm
• Datum vydání: 23. January 2016

---

---

---