Explore Books on
softwaresystem

Programming Languages and Systems

By Zhenjiang Hu

Agent-Oriented Methodologies

By Brian Henderson-Sellers

Software systems principles

By Freeman, Peter

Numerical Validation In Current Hardware Architectures

By Walter Krämer

Tests and proofs

By TAP 2010 (2010 Málaga, Spain)