Zobacz książki o podobnej tematyce

Więcej informacji o Formal Methods for Model-Driven Engineering

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 154 punkty

Opis

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.

Szczegóły książki

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

• Pełny tytuł: Formal Methods for Model-Driven Engineering
• Podtytuł: 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
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 439
• EAN: 9783642309816
• ISBN: 364230981X
• ID: 01661407
• Wydawca: Springer, Berlin
• Waga: 624 g
• Wymiary: 235 × 155 × 23 mm
• Rok wydania: 2012

Ulubione w innej kategorii

---

---

---