Object-Oriented Technology Suad Alagić: другие книги

Software Engineering: Specification, Implementation, Verification