Autorzy | |
Wydawnictwo | Springer International Publishing AG |
Data wydania | 15/10/2016 |
Liczba stron | 486 |
Forma publikacji | książka w miękkiej oprawie |
Poziom zaawansowania | Dla profesjonalistów, specjalistów i badaczy naukowych |
Język | angielski |
ISBN | 9783319478456 |
Kategorie | Sprzęt sieciowy |
Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings