Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings

Name: Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings
Author: Huibiao Zhu

by Huibiao Zhu

Cover of Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings

No description available.

Computer networksComputer scienceSoftware engineeringComputer softwareEntscheidungsverfahrenProgrammtestProgrammverifikationFormale MethodeServiceorientierte ArchitekturSoftwareentwicklungCongressesWeb Services