Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
Computer Systems
häftad,
2013,
Engelska,
ISBN 9781475780758
An invited collection of peer-reviewed papers surveying key areas of Roger Needham's distinguished research career at Cambridge University and Microsoft Research. From operating …
Larch: Languages and Tools for Formal Specification
häftad,
2011,
Engelska,
ISBN 9781461276364
Building software often seems harder than it ought to be. It takes longer than expected, the software's functionality and performance are not as wonderful as hoped, and the …