Explore Books on
computers programming - software development

Compositional verification of concurrent and real-time systems

By Eric Y. T. Juan,Eric Y.T. Juan,Jeffrey J.P. Tsai

Accessibility for everyone

By John Mueller,John Paul Mueller,John Mueller

Constraint-based design recovery for software reengineering

By Steven G. Woods,Alexander E. Quilici,Qiang Yang

TrixBox

By Barrie Dempster,Kerry Garrison