Adapting Proofs-as-Programs Más libros de Iman Poernomo, John N. Crossley & Martin Wirsing

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