FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, Uk, July 18-22, 2005, Proceedings

by John Fitzgerald

This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne, UK, during July 18-22, 2005. Formal Methods Europe (FME,... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540278826
• ISBN13: 9783540278825
• Release Date: July 2005
• Publisher: Springer
• Length: 558 Pages
• Weight: 1.77 lbs.
• Dimensions: 1.2" x 6.1" x 9.2"