3 电子书 Cornelia Boldyreff
Clive L.N. Ruggles: Formal Methods in Standards
3. 1 What are formal methods? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 3. 2 A survey of formal methods . . . . . . . . . . …
PDF
英语
DRM
€55.97
Cornelia Boldyreff & Kevin Crowston: Open Source Ecosystems: Diverse Communities Interacting
Welcome to the 5th International Conference on Open Source Systems! It is quite an achievement to reach the five-year mark – that’s the sign of a successful enterprise. This annual conference is now …
PDF
英语
DRM
€111.93
