Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings /

Bibliographic Details
Corporate Authors:	International Conference on Formal Engineering Methods Shanghai, China, SpringerLink (Online service)
Other Authors:	George, Chris, 1947-, Miao, Huaikou, 1953-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2002]
Series:	Lecture notes in computer science ; 2495.
Subjects:	Formal methods (Computer science) > Congresses. Software engineering > Congresses. Génie logiciel > Congrès. Méthodes formelles (Informatique) > Congrès. Formal methods (Computer science) Software engineering. Formale Methode. Kongress. Software Engineering. Softwareentwicklung. Softwarespezifikation. UML. transformation programme. validation. architecture logiciel. génie logiciel. vérification formelle. méthode formelle. Méthodes formelles (informatique) > Congrès. Electronic books. Kongress > Schanghai > 2002. Conference proceedings. Schanghai (2002)
Online Access:	Connect to the full text of this electronic book

Remote Storage