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

Viac informácií o knihe FM 2015: Formal Methods

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

Nákupom získate 125 bodov

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

Parametre knihy

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

• Celý názov: FM 2015: Formal Methods
• Podnázov: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
• Autor: Nikolaj Bj?rner, Frank de Boer
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 610
• EAN: 9783319192482
• ISBN: 3319192485
• ID: 09277583
• Nakladateľ: Springer International Publishing AG
• Hmotnosť: 9358 g
• Rozmery: 235 × 155 × 235 mm
• Dátum vydania: 20. May 2015

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

---

---

---