Arquitecturas de Software

This web site contains information on the course Arquitecturas de Software, which runs on the second term 2007 at The Pontificia Universidad Javeriana.


  • Software Reliability Methods. Doron A. Peled. Springer
  • Model Checking. Edmund M. Clarke, Orna Grumberg and Doron A. Peled
  • The Temporal Logic of Reactive and Concurrent Systems: Specification. Z. Manna and A. Pnueli. Springer-Verlag
materias/arquitecturas_de_software.txt · Última modificación: 2011/01/24 15:30 (editor externo)
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki