Mohlo by se vám také líbit

Více informací o knize Formal Methods for Model-Driven Engineering

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

Nákupem získáte 168 bodů

Anotace knihy

This book presents tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012.

Parametry knihy

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

• Plný název: Formal Methods for Model-Driven Engineering
• Podnázev: 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
• Autor: Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 439
• EAN: 9783642309816
• ISBN: 364230981X
• ID: 01661407
• Nakladatelství: Springer, Berlin
• Hmotnost: 624 g
• Rozměry: 235 × 155 × 23 mm
• Rok vydání: 2012

Oblíbené z jiného soudku

---

---

---