Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, ... (Lecture Notes in Computer Science, 2495)

Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, ... (Lecture Notes in Computer Science, 2495)

  • List Price: $109.99
  • ISBN-10: 3540000291
  • ISBN-13: 9783540000297
  • Edition: 2002nd
  • Type: Paperback
  • Publisher: Springer

About The Book

This book constitutes the refereed proceedings of the 4th International Conference on Formal Engineering methods, ICFEM 2002, held in Shanghai, China,... Read more

FINDING THE BEST PRICES

Related Books

Space Mission Analysis and Design (Space Technology...
  • Year: -0001
  • Edition: 3rd
  • Publisher: Springer
  • Type: Hardcover
  • ISBN13: 9780792359012
  • ISBN: 0792359011
System Dynamics
  • Year: 2009
  • Edition: 2nd
  • Publisher: McGraw-Hill Science/Engineering/Math
  • Type: Hardcover
  • ISBN13: 9780073529271
  • ISBN: 0073529273
Rocket Propulsion Elements
  • Year: 2002
  • Edition: 8th
  • Publisher: Wiley
  • Type: Hardcover
  • ISBN13: 9780470080245
  • ISBN: 0470080248