3 Ebooks by 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
English
DRM
€56.20
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
English
DRM
€111.85
