Cover Image

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
Description
Item Description:Electronic resource.
Physical Description:1 online resource (xi, 626 pages) : illustrations
Bibliography:Includes bibliographical references and index.
ISBN:3540000291
9783540000297
ISSN:0302-9743 ;