Foundations of Component-Based Systems by Gary T. Leavens (English) Paperback Bo
62,26 €
By Gary T. Leavens, Murali Sitaraman. An extensible language for composition Markus Lumpe, Franz Achermann and Oscar Nierstrasz; 4. Object-Based Specification and Verification: 5. Behavioral subtyping Gary T. Leavens and Krishna Kishore Dhara; 6.
Jetzt bei Ebay: