Mohlo by se vám také líbit

Více informací o knize FM 2015: Formal Methods

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

Nákupem získáte 118 bodů

Anotace knihy

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.

Parametry knihy

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

• Plný název: FM 2015: Formal Methods
• Podnázev: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
• Autor: Nikolaj Bj?rner, Frank de Boer
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 610
• EAN: 9783319192482
• ISBN: 3319192485
• ID: 09277583
• Nakladatelství: Springer International Publishing AG
• Hmotnost: 9358 g
• Rozměry: 235 × 155 × 235 mm
• Datum vydání: 20. May 2015

Oblíbené z jiného soudku

---

---

---