Wydawnictwo | Springer, Berlin |
Data wydania | |
Liczba stron | 219 |
Forma publikacji | książka w miękkiej oprawie |
Język | angielski |
ISBN | 9783319312194 |
Kategorie | Teoria matematyczna komputeryzacji |
Structured Object-Oriented Formal Language and Method: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
Modeling and Specification.- Testing and Debugging.- Model Checking and Verification.- Algorithm and Transformation.