ebook img
Author:J. -R. Abrial (auth.)Michael ButlerMichael G. HincheyMaría M. Larrondo-Petrie (eds.)
Language:English
Release year:2007
File size:4.28 MB
Number of page:395
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.

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

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.