Adapting Proofs-as-Programs Mehr Bücher von Iman Poernomo, John N. Crossley & Martin Wirsing

Component-Based Software Engineering Component-Based Software Engineering
Component-Based Software Engineering
2009