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 135 bodov

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

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: 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
• Väzba: Brožovaná
• Počet strán: 291
• EAN: 9783642198281
• ISBN: 3642198287
• ID: 01657595
• Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnosť: 448 g
• Rozmery: 235 × 155 × 19 mm
• Dátum vydania: 23. March 2011

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

---

---

---