The Elements of Computing Systems
by Noam Nisan, Shimon Schocken
Publisher: MIT Press 2005
Number of pages: 267
The book exposes students to a significant body of computer science knowledge, gained through a series of hardware and software construction tasks. These tasks demonstrate how theoretical and applied techniques taught in other computer science courses are used in practice.
Download or read it online for free here:
(multiple PDF files)
by Grigori Melnik, Gerard Meszaros, Jon Bach - Microsoft
The Guide will provide guidance for technology stakeholders (developers, development leads, testers, test leads, architects, etc.) and business stakeholders (managers, customers, end users, etc) on the discipline of acceptance testing.
by C.A.R. Hoare - Prentice Hall
CSP is a language for describing patterns of interaction. It is supported by an elegant mathematical theory, a set of proof tools, and an extensive literature. The book is an excellent introduction to the language, and also to the mathematical theory.
by Abdelrahman Osman Elfaki - InTech
The Software Product Line (SPL) is an emerging methodology for developing software products. There are two hot issues in the SPL: modelling and the analysis of the SPL. Variability modelling techniques have been developed to assist engineers ...
by Michael R. Lyu - McGraw-Hill
From leading industrial/research experts, here is an insider's look at today's best practices for software reliability engineering. This is a guide for software developers, designers, project managers, high-level applications programmers, et al.