 Concurrent Programming: Algorithms, Principles, and Foundations
The advent of new architectures and computing platforms means that synchronization and concurrent computing are among the most important topics in computing science. Concurrent programs are made up of cooperating entities -- processors, processes, agents, peers, sensors -- and synchronization is the set of concepts, rules and mechanisms that... |  |  Software Product Quality Control
Quality is not a fixed or universal property of software; it depends on the context and goals of its stakeholders. Hence, when you want to develop a high-quality software system, the first step must be a clear and precise specification of quality. Yet even if you get it right and complete, you can be sure that it will become invalid over... |  |  Programmable Controllers: Theory and Implementation
Since the first edition of this book in 1988, the capabilities of programmable
logic controllers have grown by leaps and bounds. Likewise, the applications
of PLCs have grown with them. In fact, in today’s increasingly computercontrolled
environment, it is almost impossible to find a technical industry
that does not use... |