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

Viac informácií o knihe Formal Methods: Foundations and Applications

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

Nákupom získate 100 bodov

Anotácia 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.§

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Human-computer interaction

• Celý názov: Formal Methods: Foundations and Applications
• Podnázov: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
• Autor: Márcio Cornélio, Bill Roscoe
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 195
• EAN: 9783319294728
• ISBN: 3319294725
• ID: 02893181
• Nakladateľ: Springer International Publishing AG
• Hmotnosť: 3343 g
• Rozmery: 235 × 155 × 10 mm
• Dátum vydania: 23. January 2016

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

---

---

---