Formal Methods For Components And Objects
by Elena Giachino /
2013 / English / PDF
4.7 MB Download
The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.