Herramientas Personales
Usted está aquí: Inicio / Materias / Ingenieria de Software II / 2017 / 1er Cuatrimestre de 2017 / Bibliografia

Bibliografia

  • Jeff Magee and Jeff Kramer. 2000. Concurrency: State Models &Amp; Java Programs. John Wiley & Sons, Inc., New York, NY, USA.
  • Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. 2000. Model Checking. MIT Press, Cambridge, MA, USA.
  • Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking (Representation and Mind Series). The MIT Press.