Lecture Notes in Computer Science: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

Butler, Michael; Hinchey, Michael G.; Larrondo-Petrie, Maria M.

Details

Published by: Springer

Publication Date: 2007-11-07

Format: Paperback

ISBN-13: 9783540766483

DOI: 10.1007/978-3-540-76650-6

Dimensions: 235cm x155cm

Pages: 387