×
  • Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

    J. -R. Abrial (auth.)

Click on cover to enlarge.
Buy This Book
From Amazon.
8 - 9Hours to read